Madan S Musuvathi
	PhD Candidate, Department of Computer Science, Stanford University.  M.S. CS, Stanford University, 1998 B.S. CS, IIT Madras (India), 1996

Research: My research interest includes formal verification, systems and, network protocol design and analysis. Specifically, I am interested in applying formal verification techniques to improve the robustness of real systems, especially network protocols. I am building CMC, C Model Checker that checks a given C/C++ implementation of a network protocol against a range of safety properties. Recent Publications: Madan Musuvathi, David Park, David L. Dill, Dawson Engler, Model Checking the Linux TCP Implementation, (to appear) In Proceedings of the Model Checking for Dependable Software-Intensive Systems Workshop, San Francisco, Jun 2002 Madan Musuvathi, David Park, Andy Chou, Dawson Engler, David L. Dill, CMC: A Pragmatic Approach to Model Checking Real Code, In Proceedingts of the Fifth Symposium on Operating Systems Design and Implementation, December 2002. Madan Musuvathi, Andy Chou, David L. Dill, Dawson Engler, Model Checking System Software with CMC In Proceedings of the SIGOPS European Workshop, Saint-Emilion, France, September 2002 Madan Musuvathi, Srinivasan Venkatachary, Roger Wattenhofer, Craig Labovitz, A. Ahuja, "BGP-CT: A First Step Towards Fast Internet Fail-Over," Microsoft Research Technical Report (number pending). Also submitted for publication. November, 2000.