Courses Taught: Theory of Computation, Computational Complexity, Probability in Computing, Quantum Computing, Quantum Cryptography, Applications of Markov Chains in Computing,
Advanced Topics in Formal Methods, Software Engineering.
Current Area of Interest: Applications of formal methods