Bardh is an Assistant Professor of Computer Science in the Department of Computer Science at Southern Illinois University Carbondale. Bardh holds a PhD degree in Computer Science from Arizona State University where he worked in the area of testing and verification of Cyber-Physical Systems with Prof. Georgios Fainekos and was part of the Cyber-Physical Systems Lab. He received his Masters degree in Mathematics from Central Connecticut State University and a Bachelors degree in Computer Science from New York Institute of Technology. Bardh has published papers on various methods for testing and verification of CPS ranging from elicitation of formal requirements, parameter mining of temporal logic requirements, and conformance testing of CPS. The research methods aim to alleviate/solve problems from the automotive, aerospace, and medical device industries. In addition, Bardh is one of the main contributors of the award-winning verification toolbox S-TaLiRo. One of Bardh's papers on robustness guided testing of stochastic CPS was nominated for best paper awards from IEEE. At ASU, Bardh received an outstanding PhD student award.
Bardh's main research interests include: Formal methods, Testing and Verification of Cyber-Physical Systems, Logic, Motion Planning for Autonomous Vehicles, and Human Robot Interaction.