Seyed-Hassan Mirian-Hosseinabadi | Computer Engineering Department | Sharif University of Technology | سید حسن میریان حسین آبادی
 About Me

I am interested in:
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:
Seyed-Hassan Mirian-Hosseinabadi
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

Short biography:
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 now an associate professor in Computer Engineering Department of Sharif University of Technology.

Seyed Hassan Mirian Hosseinabadi | سید حسن میریان حسین آبادی 
Seyed-Hassan Mirian-Hosseinabadi
Associate Professor,
Computer Engineering Department,
Sharif University of Technology
 
 
 

All Rights Reserved | Seyed-Hassan Mirian-Hosseinabadi | Sharif University of Technology