Dr. Mirian-Hosseinabadi
Dr. Seyed-Hassan Mirian-Hosseinabadi
Associate Professor Software
Ph.D. in Computer Science, University of Essex, 1997
- Room 807
- +9821 6616 6629
- hmirian [at] sharif . edu
- Visit home page
Formal Methods
Soft. Eng.
Inf. Retrieval Systems
Data Base
Constructive Mathematics
Type Theory