Selected Publications

Scalable End-to-End Autonomous Vehicle Testing via Rare-event Simulation

O'Kelly, M., Sinha, A., Namkoong, H., Duchi, J.C. and Tedrake, R., Advances in Neural Information Processing Systems (NIPS), pp. 9848-9859, 2018.

In-silico Risk Analysis of Personalized Artificial Pancreas Controllers via Rare-event Simulation

O'Kelly, M., Sinha, A., Norden, J., Namkoong, H., Advances in Neural Information Processing Systems (NIPS) ML4Health Workshop, 2018.

Computer-aided Design for Safe Autonomous Vehicles

O'Kelly, M., Abbas, H. and Mangharam, R., Resilience Week, pp. 90-96, IEEE, 2017.

Safe At Any Speed, A Simulation-Based Test Harness for Autonomous Vehicles

Abbas, H., O'Kelly, M., Rodionova, A. and Mangharam, R., Workshop on Design, Modeling and Evaluation of Cyber Physical Systems, 2017.

Relaxed decidability and the Robust Semantics of Metric Temporal Logic

Abbas, H., O'Kelly, M. and Mangharam, R., Hybrid Systems Computation and Control (HSCC) pp. 217-225, ACM, 2017.

An Intraoperative Glucose Control Benchmark for Formal Verification

Chen, S., O'Kelly, M., Weimer, J., Sokolsky, O. and Lee, I., IFAC, 2016

APEX, Autonomous Vehicle Plan Verification and Execution

O'Kelly, M., Abbas, H., Gao, S., Shiraishi, S.I., Kato, S. and Mangharam, R., SAE Technical Paper, 2016.

Experience

Stanford University

Visiting Student, SAIL • 2018

Intel Labs

Intern • 2018

Massachusetts Institute of Technology

Visiting Student, CSAIL • 2017

Nagoya University

Visiting Student, PDSL • 2015

Priority Designs

Mechanical and Embedded Systems Engineer • 2012 — 2014

Education

University of Pennsylvania

Ph.D, Electrical and Systems Engineering • 2014 — Present

The Ohio State University

Master of Science, Mechanical Engineering • 2010 — 2012

The Ohio State University

Bachelor of Science, Mechanical Engineering • 2005 — 2010

Projects

Founder & Primary Developer • 2015 — Present

Developer • 2015 — Present

Contributor • 2016 — 2017

Developer • 2014 — 2016

Project Engineer • 2010 — 2012

Awards

Graduate Research Fellowship

National Science Foundation • 2015

East Asia Pacific Summer Institute Fellowship

National Science Foundation • 2015