M. V. Panduranga Rao



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


Selected Recent Publications

        Projects-Motivated


        Other Musings

      
Palm Leaves

        Some available on DBLP.


Miscellaneous:
Raga Surabhi

Sangeetha Priya
Dvaita? Visishtadvaita? Neti Neti? Click here.