miroslav DOT pajic AT duke DOT edu
My research is on the security and privacy in Cyber-Physical Systems.
I am interested in developing learning-based algorithms that synthesize provably safe and reliable controllers for 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.
My research interests lie at the intersection of embedded systems, machine learning and robotics.
My research is mainly focused on biomedical image analysis using Artificial Intelligence technologies.