Meenakshi D'Souza


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.


  1. Theory of Computation (currently teaching, fourth consecutive year)
  2. Logic in Computer Science
  3. Discrete Mathematics
  4. Software Engineering (taught for three years)
  5. Software Testing (taught for three years)
  6. Formal Verification (taught for two years)
  7. Design and Analysis of Algorithms (currently teaching)


  1. Embedded software architecture verification and analysis
  2. Embedded software testing and program analysis
  3. Fault assurance of systems with COTS components
  4. Model checking and test case generation of avionics multi-agent systems


  1. Bodhisatta Barman Roy (M. Tech. thesis co-supervised with Prof. Shrisha Rao), 2011.
  2. Rajanikanth Kashi (pursuing Ph. D. since August 2012)
  3. Gracy Joseph (pursuing Ph. D. since August 2013)