Ph.D. Students Supervised

  1. Prasad Rao (Ph.D., 1997), HP Research Labs, Princeton, NJ.
    Thesis: Efficient Datastructures for Tabled Resolution

  2. Xiaoqun Du (Ph. D., 2000), Google, New York.
    Thesis: Tabled Resolution and Constraints for Model Checking Real-Time Systems and Infinite-State Systems

  3. Abhik Roychoudhury (Ph. D., 2000), Computer Science Department, National University of Singapore.
    Thesis: Program Transformations for Verifying Parameterized Systems

  4. Yifei Dong (Ph. D., 2002), Openseed Institute, Norman, OK.
    Thesis: Performance and usability issues in model checking

  5. Samik Basu (Ph. D., 2002), Computer Science Department, Iowa State University.
    Thesis: Techniques for verification of infinite state systems

  6. L. Robert Pokorny (Ph. D., 2005), XSB Inc., East Setauket, NY.
    Thesis: Model-checking of distributed autonomous agents using logic programming

  7. Giridhar Pemmasani (Ph. D., 2005), Harbor Financial Management, Port Jefferson, NY.
    Thesis: Efficient verification of concurrent systems with timed components

  8. Beata Sarna-Starosta (Ph. D., 2005), Cambian Business Services Inc., Vancouver BC, Canada.
    Thesis: Constraint-based analysis of security properties

  9. Ping Yang (Ph. D., 2006), Computer Science Department, SUNY Binghampton, NY.
    Thesis: Verification techniques for mobile processes and security protocols

  10. Diptikalyan Saha (Ph. D., 2006), IBM Research, New Delhi, India.
    Thesis: Incremental evaluation of tabled logic programs

  11. Anu Singh (Ph. D., 2009), Yahoo, SF Bay Area, CA.
    Thesis: Modeling and Verification Techniques for Ad Hoc Network Protocols

  12. M. Asiful Islam (Ph. D., 2012), Google Research, Mountain View, CA.
    Thesis: Inference and Learning in Probabilistic Logic Programs with Continuous Random Variables

  13. Andrey Gorlin (current student).
    Thesis Topic: Verification of Probabilistic Systems

  14. Arun Nampally (current student).
    Thesis Topic: Approximate Inference in Probabilistic Logic Programs

C. R. Ramakrishnan
Last modified: Thu Feb 7 23:13:01 EST 2013