Software Engineering, in particular, Formal Methods, Constructive Mathematics, Theoretical aspect of computer science, Database Design and Compiler Construction. In my PhD Thesis, I have used a constructive version of Zermelo-Fraenkel set theory without the axiom of replacement( CZ ) as a basis for a formal specification language, such as Z and B. This theory facilitates the abstraction of programs from coherence proofs of specifications.
You can contact me at the following address:
Department of Computer Engineering
Sharif University of Technology
Azadi Ave., Tehran, Iran
Room: 807, CE New Building
Phone(Office): (+98 21) 66166629
Email: hmirian following Sharif University of Technology domain name
I have received my B.Sc. from Shahid Beheshti University, Tehran, Iran, and my M.Sc. from Sharif University of Technology, Tehran, Iran, and my Ph.D. from The University of Essex, Colchester, UK, all in Computer Science. I am an associate proffessor in Computer Engineering Department of Sharif University of Technology.