Meenakshi D'Souza

Research

All mathematical aspects of software engineering, with specific interest on testing, formal verification and software specification. I also have research interests in concurrency theory, logic, automata theory and formal methods for avionics. History of computing, diversity in computing and intellectual property rights are other areas of interest.

Teaching

  1. Theory of Computation
  2. Logic in Computer Science
  3. Discrete Mathematics
  4. Software Engineering
  5. Software Testing : Also offered online through NPTEL (More..)
  6. Formal Verification
  7. Design and Analysis of Algorithms

Projects

      Details available here

Publications