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.
Research interests are Control Theory, Cyber-Physical Systems and Formal Methods.
My research interests span reconfigurable manufacturing systems, distributed industrial automation, embedded, and real-time systems. I source excitement for systems research from satisfaction of reducing research concepts into embedded platforms that operate in spite of real-world conditions. In [...]
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.