miroslav DOT pajic AT duke DOT edu
My research is on the security and privacy in Cyber-Physical Systems.
My research mainly focuses on using formal methods and model checking techniques to build human-aware cyber-physical systems.
My research interests include Machine Learning and its use for control in Robotics and Medical Systems.
My research interests are Control Theory, Cyber-Physical Systems and Formal Methods.
I am interested in Control Theory, Mathematical Optimization, and Cyber-Physical Systems
I am interested in leveraging VLSI and FPGA technology to solve real-world problems. Current research includes simulating dynamics of neural networks using FPGA technology for more insightful therapy.