Menu:

Recent Headlines:

August 2017:
Best Paper Award finalist at EMSOFT'17!

July 2017:
Paper accepted in RTSS'17!

July 2017:
Paper accepted at IEEE CDC'17

June 2016:
Pannelist at the FTC/NHTSA panel on Security of Connected Cars!

June 2016:
Two papers accepted at the ESWeek'17 (EMSOFT and CASES)!

June 2017:
Paper accepted at the IEEE Trans. on Computer Aided Design!

May 2017:
Invited to the the NAE's FOE Symposium!

May 2017:
Paper on stochastic games for secure control accepted at Automatica!

April 2017:
RESCHU-SA presented at CPSWeek'17

March 2017:
NSF CAREER Award!

February 2017:
ONR YIP Award!

February 2017:
Paper on resilient sensor fusion in the presence of faults accepted in ACM Trans. on CPS!

January 2017:
New ONR project on Attack-Resilient Industrial Control & Combat Systems!

December 2016:
Paper accepted in TACAS'17!

August 2016:
Paper on secure state estimation accepted at the IEEE Trans. on Control of Network Systems!

July 2016:
Paper on design of attack-resilient CPS accepted at the IEEE Control Systems Magazine!

June 2016:
Paper accepted at ICCAD'16!

June 2016:
Special Session on Modeling, Sensing and Actuation for IoT accepted at CODES+ISSS'16, part of ESWeek!

May 2016:
Paper accepted at CASES'16, part of ESWeek!

May 2016:
Paper on Plug-n-Play CNC accepted at ETFA'16!

May 2016:
Paper on low-overhead coding for attack-detection accepted at the IEEE Trans. on Control of Network Systems!

March 2016:
Special Issue on Medical CPS in the ACM Trans. on CPS!

December 2015:
Papers accepted at ICCPS'16 and TACAS'16!

November 2015:
Papers accepted for ACM Transactions on Embedded Computing Systems!

October 2015:
Organized special session on CPS Security at ESWEEK!

August 2015:
Program committee member at ICCPS'16!

July 2015:
CPS Security and Privacy project supported by NSF and Intel!

More news»

Welcome


I am looking for PhD students and postdocs with interests and expertise in embedded systems, formal methods, control theory, and cyber-physical systems!

I am Assistant Professor in the Departments of Electrical and Computer Engineering and Computer Science and the director of the Cyber-Physical Systems Lab (CPSL) at Duke University. My research interests focus on design and analysis of cyber-physical systems and in particular, embedded and distributed/networked control, real-time and embedded systems, and high-confidence medical devices and systems.

Before joining Duke, I was a Postdoctoral Researcher at the PRECISE Center, University of Pennsylvania. I received my Ph.D. in Electrical Engineering from the University of Pennsylvania in 2012. I also received Dipl. Ing. (5 years) and M.S. degrees in Electrical Engineering from the University of Belgrade in 2003 and 2007, and M.S. in Electrical Engineering from UPenn in 2010. Prior to PhD studies at UPenn, I was a research associate and lecturer at the School of Electrical Engineering, University of Belgrade.

I have received various awards including

More»


counter on tumblr