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

Agenda Session
Abstraction-based Parameter Synthesis for Multiaffine Systems
Speaker
Profile photo of Sergiy Bogomolov
Sergiy Bogomolov, Ph.D.
Australian National University
Speaker Bio

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.