Software Engineering Lab, IIIT-B
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
- Graph Theory
- Theory of Computation
- Logic in Computer Science
- Discrete Mathematics
- Software Engineering
- Software Testing : Also offered online through NPTEL (More..)
- Formal Verification
- Design and Analysis of Algorithms