Seyed-Hassan Mirian
Associate Professor
| Office: CE 807 | Personal Website |
| Phone: +98 (21) 6616 6629 | hmirian@sharif.edu |
Education
- Ph.D. in Computer Science, University of Essex, 1997.
- M.Sc. in Computer Engineering, Sharif University of Technology, 1987.
- B.Sc. in Computer Engineering, Shahid Beheshti University, 1984.
Research Areas
- Formal Methods
- Soft Eng.
- Inf. Retrieval Systems
- Data Base
- Constructive Mathematics
- Type Theory