Mukund Raghothaman

Department of Computer and Information Science
University of Pennsylvania
3330 Walnut St GRW 571
Philadelphia, PA 19104
http://www.cis.upenn.edu/~rmukund/index.html
rmukund@seas.upenn.edu

CV

Research Interests

Formal verification and program synthesis. Automata theory and model checking.

Education

Publications

  1. Rajeev Alur, Loris D’Antoni, Jyotirmoy V. Deshmukh, Mukund Raghothaman, and Yifei Yuan. Regular functions, cost register automata, and generalized min-cost problems. (In submission), Available at http://www.cis.upenn.edu/~alur/rca12.pdf, 2012.
  2. Rajeev Alur and Mukund Raghothaman. Register complexity of additive regular functions. (In submission), Available at http://www.seas.upenn.edu/~rmukund/pdf/canon12.pdf, 2012.
  3. Mukund Raghothaman. Learning techniques in verification and model checking. Written Preliminary Exam - 2, Available at http://www.seas.upenn.edu/~rmukund/pdf/wpe2-paper.pdf, http://www.seas.upenn.edu/~rmukund/pdf/wpe2-slides.pdf, 2012.

Miscellaneous

While in college, I was involved with the IITG amateur astronomy club. While I barely know my way around the night sky without a sky chart (thanks to having grown up in a city), I did help with organizing some competitions — mostly with framing (hopefully interesting) questions. Here are two problem sets, from 2009, and from 2010. There was also a “design” competition in 2010, with a more open-ended task.