Current Members

Faculty

Miroslav Pajic, PhD

miroslav DOT pajic AT duke DOT edu

Postdoctoral Fellows

Aditya Zutshi

Postdoctoral Associate

aditya.zutshi@duke.edu

I am interested in verification and falsification of properties of Hybrid Systems.

PhD Students

Mahmoud Elfar

PhD Candidate, Electrical and Computer Engineering Department

mahmoud.elfar@duke.edu

My research mainly focuses on using formal methods and model checking techniques to build human-aware cyber-physical systems.

Ilija Jovanov

PhD Candidate, Electrical and Computer Engineering Department

ilija.jovanov@duke.edu

I am interested in modeling of physiological systems and optimal control of medical devices. I am also interested in attack resilient control of cyber-physical systems.

Vuk Lesi

PhD Candidate, Electrical and Computer Engineering

vuk.lesi@duke.edu

My research interests span reconfigurable manufacturing systems, distributed industrial automation, embedded and real-time systems.   

Muhammad Abdullah Naeem

PhD Candidate, Electrical and Computer Engineering Department

I am interested in Control Theory, Mathematical Optimization, and Cyber-Physical Systems

Siddhartha Nalluri

PhD Candidate, Department of Computer Science

siddhartha.nalluri@duke.edu

Undergraduates

Matthew Cleaveland

Brianna Loomis

Michael Naumann

Lang Qin

Jeffrey Wubbenhorst

Alumni

Undergraduates

Edward Kim

After his time in CPSL, Edward entered UC Berkeley's Electrical Engineering and Computer Science (EECS) PhD program in fall 2017. He is also the recipient of 2017 NSF Graduate Research Fellowship. 

Nishant Patel

Nishant is currently studying mechanical engineering at the Indian Institute of Technology in Gandhinagar.