- Home
- People
- Meenakshi D'Souza

## 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