E-mail: miroslav.pajic AT duke.edu Address: Hudson Hall Room 206, 100 Science Dr, Durham, NC 27708 |
Dickinson Family Professorship, Pratt School of Engineering, Duke University, 2020
ACM SIGBED Early-Career Researcher Award, from the ACM Special Interest Group on Embedded Systems (ACM SIGBED) for "outstanding contributions by early career investigators in the area of embedded, real-time, and cyber-physical systems", 2019
IEEE TCCPS Early-Career Award, from the IEEE Technical Committee on Cyber-Physical System (IEEE TCCPS) for "outstanding contributions to design and analysis methodologies for high-assurance cyber-physical systems", 2019
Best Paper Finalist at the 2019 ACM SIGBED International Conference on Embedded Software (EMSOFT'19) for the paper "Statistical Verification of Hyper-properties for Cyber-Physical Systems", 2019
Nortel Networks Professorship, Pratt School of Engineering, Duke University, 2018
IBM Faculty Award, 2018
Best Paper Award at the the 2017 ACM SIGBED International Conference on Embedded Software (EMSOFT'17) for the paper "Security-Aware Scheduling of Embedded Control Tasks", 2017
2017 Young Investigator Award from the Office of Naval Research (ONR)
National Science Foundation (NSF) Faculty Early Career Development (CAREER) Award, 2017
Invited to the National Academy of Engineering’s US Frontiers of Engineering Symposium, 2017
Best Paper Award at the 5th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS'14) for the paper "Robustness of Attack-Resilient State Estimators", 2014
Best Paper Finalist at the 5th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS'14) for the paper "Opportunistic Scheduling of Control Tasks Over Shared Wireless Channels", 2014
Joseph and Rosaline Wolf Award from Penn Engineering, for Best Dissertation in Electrical and Systems Engineering, 2013
Best Student Paper Award at the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'12) for the paper "From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study", 2012
Best Presentation Award at the ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN'12) for the paper "Closing the Loop: A Simple Distributed Method for Control over Wireless Networks", 2012
Best Paper Candidate at the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'12) for the paper "Modeling and Verification of a Dual Chamber Implantable Pacemaker", 2012
University of Pennsylvania, President Gutmann Leadership Award, Spring 2012
2011 ACM SIGBED/SIGSOFT Frank Anger Memorial Award
The award presented by ACM Special Interest Group on Embedded Systems (SIGBED) to promote cross-disciplinary research between embedded systems and software engineering
Winner of the Honeywell Users Group Wireless Student
Competition, 2011
Awarded by Honeywell Process Solutions for innovative use of wireless control in industrial plants
IPSN Student Travel Award, 2012
Real-Time Systems Symposium (RTSS) Travel Award, 2009
Cyber-Physical Systems (CPS) Week Student Travel Award, 2009
Scholarship for graduate studies from Serbian Ministry of Science and Technology, 2004
Best Student Award at the School of Electrical Engineering, 2003 Awarded by the University of Belgrade for outstanding results during undergraduate studies.
Professor Aleksandar Damjanovic Foundation Award, 2003
Awarded as the best student at the Department of Electronics, Telecommunication and Automatic Control,
School of Electrical Engineering,
University of Belgrade.
ETF BAFA (ETF Belgrade Alumni and Friends Association) Award, 2003
Awarded in recognition for results during undergraduate studies.
Scholarship awarded by Serbian Royal Family, 2003
Award given to the top two undergraduate students in Electrical or Computer Engineering in Serbia.
Winner of the National Students Competition in Electronics, Budva, Yugoslavia, 2003
Winner of the National Students Competition in Control Theory, Budva, Yugoslavia, 2003
Scholarship for undergraduate students from Serbian ministry for science and technology, 2000-2003