Sergiy is a Lecturer / Assistant Professor at the Australian National University. In his research, Sergiy develops algorithms and tools to provide scalable solutions for automatic analysis of cyber-physical systems, e.g., autonomous cars, smart buildings, etc. Sergiy's broad goal is to develop push-button solutions to automate every step in the design and development workflow of cyber-physical systems. In addition, Sergiy is interested in the applications of cyber-physical systems in artificial intelligence and systems biology.
Before joining ANU in 2016, Sergiy was a postdoctoral researcher in Thomas A. Henzinger's group at the Institute of Science and Technology Austria (IST Austria). He completed his PhD at the University of Freiburg, Germany in 2015 under the supervision of Andreas Podelski.
No reviews yet. Be the first to add a review.