Necmiye* Ozay

hu hu 

Necmiye Ozay

Assistant Professor

Electrical Engineering and Computer Science

University of Michigan

1301 Beal Avenue

4229 EECS Building

Ann Arbor, MI 48109-2122

e-mail: myfirstname (at) umich (dot) edu

News

  • 06/2016, I will give a talk at RSS workshop on “Social Trust in Autonomous Robots”.

  • 02/2016, I gave a talk at ExCAPE's webinar.

  • 01/2016, I received an NSF CAREER Award.

  • 01/2016, four papers accepted to ACC 2016, Boston.

  • 01/2016, I gave a talk at the Institute for Mathematics and its Applications (IMA) Workshop on “Optimization and Parsimonious Modeling”.

  • 12/2015, our paper on correct-by-construction control synthesis for very large scale systems is accepted to HSCC 2016, Vienna.

  • 12/2015, I serve on the technical program committee of ACC 2017.

  • 12/2015, I serve as the invited sessions and tutorials chair for MSC 2016. If you consider organizing an invited session or a tutorial, let me know!

  • 12/2015, I gave a talk at the CDC preconference workshop on “Towards Scalable Formal Synthesis of Complex Systems”.

  • 09/2015, I gave a talk at NASA JPL.

  • 09/2015, MI4Hybrid, a toolbox for model (in)validation for hybrid systems, is now available on GitHub.

  • 07/2015, I am a guest editor for Journal of Discrete Event Dynamic Systems special issue on “Formal Methods in Control” (call for papers). Consider submitting your best papers! (the deadline is February 15, 2016)

  • 07/2015, one paper accepted to CDC 2015, Osaka.

  • 07/2015, two papers accepted to ADHS 2015, Atlanta.

  • 07/2015, one paper accepted to DSCC 2015, Columbus.

  • 07/2015, I serve on the technical program committee for HSCC 2016.

  • 07/2015, I serve on the technical program committee for ICCPS 2016.

  • 06/2015, I gave a talk at the iCyPhy data-driven design workshop, Berkeley.

  • 06/2015, new Ford-UM Alliance project on fault tolerant control.

  • 04/2015, the new center for Michigan Robotics!

  • 04/2015, I serve on the technical program committee for ACES-MB 15.

  • 02/2015, I gave a talk at the Dagstuhl seminar on “Non-Zero-Sum-Games and Control”, Germany.

  • 01/2015, Farshad Harirchi joined the group as a postdoc.

  • 12/2014, I gave a talk at the Toyota Summit on Industrial Cyberphysical Systems Verification and Design, Los Angeles.

  • 12/2014, three papers appeared at CDC 2014, Los Angeles.

  • 09/2014, I serve on the technical program committee for ADHS 2015.

  • 09/2014, new NSF CPS Breakthrough project in collaboration with Stephane Lafortune.

  • 08/2014, I received a DARPA 2014 Young Faculty Award.

  • 07/2014, I serve on the technical program committee for HSCC 2015.