Staff Profile

Sergiy is a Reader / Associate Professor in Cyber-Physical Systems at Newcastle University (UK). Sergiy joined Newcastle University from Australian National University (Australia) in September 2019. Prior to being a faculty member at ANU, Sergiy was a postdoctoral researcher at the Institute of Science and Technology Austria (IST Austria). His research focuses on the development of algorithms and tools to model and analyze complex concurrent and distributed systems. In particular, Sergiy aims at providing scalable solutions for automatic analysis of cyber-physical systems using the techniques on the interface of the areas of verification, control and artificial intelligence. Sergiy has over 40 publications in top hybrid systems, verification and AI venues, such as EMSOFT, HSCC, TACAS, AAAI, IJCAI and ICAPS targeting multiple applications domains such as autonomous systems, systems biology and operations research. He has co-chaired several events (HSCC'21, SNR'15-17, NSV'15-16, MOCHAP'15), served on the program committees of around 50 conferences and workshops; he was also ACM SIGBED Review Editor in 2017-2019. Sergiy's work has won several awards such as Best Repeatability Evaluation Package Award at HSCC'16, Best Tool Award at ARCH'16 and Best Paper Award at HVC'14. He started the International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT in 2015 (collocated with CAV, Cyber-Physical Systems Week and ETAPS in different years). In order to ensure his research has a lasting impact in the community, Sergiy actively pursues research collaborations and has been supported by a number of agencies and companies. These include US Air Force Office of Scientific Research, Defence Science and Technology Group (Australia) and Toyota (USA). His Ph.D. and M.Sc. degrees are from the University of Freiburg (Germany).

For more information, please check out Sergiy's CV, as well as his DBLP and Google Scholar entries.