Darko Marinov's External PhD Committees

I am always excited to serve on PhD committees outside of the University of Illinois. It exposes me to research ideas and culture in other places and gives me a chance to participate in many interesting topics. Below is a list of PhD students whose committees I have proudly served on. (I copied the text from Steve LaValle, because I completely agree with him.)

  1. Mohammad Amin Alipour
    School of Electrical Engineering and Computer Science, Oregon State University, preliminary exam in May 2016
    Advisor: Alex Groce

  2. Jonathan (Jon) Bell
    Making Software More Reliable by Uncovering Hidden Dependencies
    Department of Computer Science, Columbia University, defended in May 2016
    Advisor: Gail Kaiser

  3. Linhai Song
    Understanding, Detecting, and Diagnosing Real-World Performance Bugs
    Department of Computer Sciences, University of Wisconsin - Madison, passed proposal exam in December 2013, defended in October 2015
    Advisor: Shan Lu

  4. Tihomir Gvero
    Search Techniques for Code Generation
    School of Computer and Communication Sciences, École Polytechnique Fédérale de Lausanne, Switzerland, defended in November 2014
    Advisor: Viktor Kuncak

  5. Sai Zhang
    Effective Program Analyses for Automated Software Testing and Error Diagnosis
    Department of Computer Science & Engineering, University of Washington, defended in May 2014
    Advisor: Michael Ernst

  6. Lingming Zhang
    Unifying Regression Testing with Mutation Testing
    Department of Electrical and Computer Engineering, University of Texas at Austin, passed proposal exam in May 2013, defended in April 2014
    Advisor: Sarfraz Khurshid

  7. Chang Hwan Peter Kim
    Systematic Techniques for Efficiently Checking Software Product Lines
    Department of Computer Science, University of Texas at Austin, passed proposal exam in December 2012, defended in September 2013
    Advisors: Don Batory and Sarfraz Khurshid

  8. Mehdi Mirzaaghaei
    Automatic Test Suite Evolution
    Faculty of Informatics, University of Lugano, Switzerland, defended in November 2012
    Advisor: Mauro Pezzè

  9. Junaid Haroon Siddiqui
    Improving Systematic Constraint-driven Analysis using Incremental and Parallel Techniques
    Department of Electrical and Computer Engineering, University of Texas at Austin, passed proposal exam in February 2010, defended in November 2011
    Advisor: Sarfraz Khurshid

  10. Juan Pablo Galeotti
    Software Verification using Alloy
    Department of Computing, School of Natural and Exact Sciences, University of Buenos Aires, Argentina, defended in February 2011
    Advisor: Marcelo Frias