Software Engineering and Analysis Lab (SEAL), 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
Projects
Publications
Students
Past Students
| Sayak Chowdhury MS, August 2024 |
| Mahima Iyer MS, August 2024 |