ContactEducationResearch InterestsLaboratory
  • Assistant Professor
  • PhD in Computer Science.
  • University of Essex, UK.
  • 1997
  • Formal Methods
  • Soft. Eng.
  • Inf. Retrieval Systems
  • Data Base
  • Constructive Mathematics
  • Type Theory
  • Dependable Systems Lab
  • Room 403
  • Phone No.  +9821 6616 6679