Courses Karamozi PhD St. MSc St. MSc St.(Dr Rohani) BSc Proj. Research Papers Software Quality Research Lab(SQRLab) Technical Reports Mr Rohani's Home Page Other Pages

Seyed-Hassan Mirian-Hosseinabadi

I am interested in: Software Engineering, in particular, Formal Methods , Constructive Mathematics , Theoretical aspect of computer science, Database Design and Compiler Construction. I have developed 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: 321, Phone(Office): 98-21-6164629
Email: mirian or 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 an assistant prof. in Computer Engineering Department of Sharif University of Technology.
Courses Karamozi PhD St. MSc St. BSc Proj. MSc St.(Dr Rohani) Research Papers Software Quality Research Lab(SQRLab) Technical Reports Mr Rohani's Home Page Other Pages
Last modified on 86/01/20(09, April 2007). You are visitor number: since Tir 78(July 1999).