CC2017 - 0400p - Abstraction-based Parameter Synthesis for Multiaffine Systems

Sergiy Bogomolov is a Lecturer / Assistant Professor at the Australian National University. Prior to joining ANU Sergiy was a Postdoctoral Researcher in the Institute of Science and Technology
Austria. Sergiy is interested in verification and synthesis techniques for cyber-physical systems and their applications in artificial intelligence and systems biology. His Ph.D. and M.Sc. degrees are from the University of Freiburg, Germany.