PhD Advisor: Dr. Necmiye Ozay

PhD Institution: University of Michigan

Areas of Expertise:

  • Hybrid Systems
  • Formal Methods
  • Correct-by-construction synthesis

Research Interest(s):

Control design techniques admitting performance guarantees

Expected date of graduation: 8/31/2017

Contact