Reader / Associate Professor in Cyber-Physical Systems
School of Computing
Newcastle University
Newcastle upon Tyne
United Kingdom
Postal Address
School of Computing
Urban Sciences Building
Newcastle University
1 Science Square
Newcastle upon Tyne
NE4 5TG
Phone
+44 191 208 8223
E-Mail
firstname.lastname@newcastle.ac.uk
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 (FORMATS'22, 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.
Cyber-physical systems and artificial intelligence.
I always look for excellent PhD students interested in developing novel methods to design and analyze cyber-physical systems (e.g., autonomous cars). The main focus will be on the formal verification of hybrid systems, i.e., dynamical systems exhibiting mixed discrete-continuous behaviour. Depending on the interest and background of candidates, research can include topics from AI as well, e.g., AI planning and machine learning.
Candidate profile:
Please send me a complete CV as well as your transcripts.