ContactEducationResearch InterestsLaboratory
  • Associate Professor
  • PhD in Computer Science.
  • University of Essex, UK.
  • 1997
  • Formal Methods
  • Soft. Eng.
  • Inf. Retrieval Systems
  • Data Base
  • Constructive Mathematics
  • Type Theory