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
Students
Research
| Sayak Chowdhury | MS, August 2024 |
| Mahima Iyer | MS, August 2024 |
| Prasanna Kotyal | MS, August 2025 |