معرفی
Sergiy Bogomolov is an Associate Professor in Cyber-Physical Systems at the School of Computing, Newcastle University, UK. His research focuses on developing algorithms and tools for modeling and analyzing complex systems, with a particular emphasis on formal verification, control theory, and artificial intelligence applications in cyber-physical systems. He has over 40 publications in top venues such as EMSOFT, HSCC, AAAI, and IJCAI, and has won multiple awards including Best Paper awards at HSCC'16 and HVC'14. His work emphasizes scalable solutions for hybrid systems analysis and has been supported by agencies like the US Air Force and the Australian Defence Science and Technology Group.
Education: PhD and M.Sc. from the University of Freiburg, Germany. He previously held positions at ANU (Australia) and IST Austria as a postdoc.
Research interests include hybrid systems reachability analysis, safety verification, and the integration of AI techniques with formal methods. His software contributions include SpaceEx extensions and the JuliaReach toolbox.
Scientific awards include Best Repeatability Evaluation Package Award (HSCC'16), Best Tool Award (ARCH'16), and Best Paper Award (HVC'14). He advises PhD students Kostiantyn Potomkin and Abdelrahman Hekal, and collaborates on projects like parameter synthesis and autonomous systems safety.
