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