Menu:

Recent Headlines:

March 2019:
Elevated to IEEE Senior Member!

January 2019:
Paper accepted at IEEE TAC!

January 2019:
Paper accepted at ICRA'19!

January 2019:
Paper accepted at IoTDI'19!

January 2019:
Paper Accepted at TACAS'19!

January 2019:
Elected IEEE TCCPS Member-at-Large!

December 2018:
Paper accepted at IEEE THMS!

August 2018:
AE for ACM HEALTH!

July 2018:
New NSF CPS Medium Grant!

July 2018:
IBM Faculty Award!

July 2018:
Paper accepted at CDC!

June 2018:
Grant from the Lord Foundation of North Carolina!

May 2018:
ICCPS'19 TPC Chair

February 2018:
Nortel Networks Professorship!

January 2018:
Paper accepted at IEEE Transactions on Automatic Control!

December 2017:
Paper accepted at ICCPS'18!

October 2017:
Best Paper Award at EMSOFT'17!

September 2017:
Quoted in Wall Street Journal

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 Nortel Networks 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.

I received my Ph.D. in Electrical Engineering from the University of Pennsylvania. I also received Dipl. Ing. (5 years) and M.S. degrees in Electrical Engineering from University of Belgrade, and M.S. in Electrical Engineering from UPenn.

I am an associate editor in the ACM Transactions on Computing for Healthcare (ACM HEALTH) and a co-chair of the 2019 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS'19).

I have received various awards including

More»


counter on tumblr