User:Rezaeeali

Ali Rezaee Ali Rezaee (born 1983), is best known for the extension of algebraic means for modeling and verification in Software architecture. His works are extensively rely on Process calculus and his research domains are Service-oriented architecture, Cloud computing and Software architecture.

He is currently working on a theory about Abstraction, Complexity, Monotheism and Tawhid which focuses on explaining the vertical conceptual chain in the universe with strong roots to Holy Quran and using Formal explanatory descriptions.

Personal Life
He started programming at the age 8 (in 1991) when his brother, Kia Rezaee, brought him a Commodore 64.

Besides computer, he has passion for Iaido and Extreme sport specially Mountain biking.

Research Topics
His current active research topics include:
 * Formal methods, Process calculus , Formal modeling and Formal verification
 * Software architecture, Ultra-large-scale systems
 * Service-oriented architecture
 * Supercomputer, High performance computing, Cloud computing and Grid computing
 * Software self modification, Mutation and Spiritual machines
 * Mission critical and highly dependable software design

His major activities involves extending Formal specification and specially process algebraic methods to model and manage software architecture in highly trustable, massively parallel distributed systems.

Career
A brief history of his career is listed below:
 * Member of Faculty of Computer Engineering, IAU, Science and Research Branch
 * Head of Distributed Systems Research Group (DSRG), IAU, Science and Research Branch
 * Lecturer, IAU, North Tehran Branch
 * Senior adviser, Tehran Municipality, Traffic Control Co.
 * Senior adviser, Shakhes Andishan official accountants institute.
 * Senior adviser, Nazer Argham official accountants institute.
 * Managing Director, Soror Design and Development Co.
 * Adjutant, Resaneh cultural institute
 * Software architect, Behpouyan Tadbir Co.

Early Works in Grid Computing

 * Full agent based framework for Grid computing systems
 * Fuzzy based grid service agent
 * Fuzzy based multilevel Queue management algorithm.