Dr Sergiy Bogomolov | School of Computing
![](https://www.facebook.com/tr?id=881226395359308&ev=PageView&noscript=1)
Skip navigation School of Computing ANU College of Engineering & Computer Science Search query Search ANU web, staff & maps Search current site content Search People Current students Intranet Login Menu Search query Search People Current students Intranet Login Search ANU web, staff & maps Search current site content menu Search site search Search School of Computing Search query Search Related sites School of Cybernetics Software Innovation Institute Computer Science Home Study Research Engage News & events Current students Alumni Contact Staff Related sites ANU College of Engineering & Computer Science School of Cybernetics School of Engineering Reimagine Data61 ASD-ANU Co-Lab » McKenzie Chair W3C You are here » Dr Sergiy Bogomolov Dr Sergiy Bogomolov Honorary Lecturer Hanna Neumann Blg (145), 2.19 Sergiy.Bogomolov@anu.edu.au +61 2 6125 8627 » read more about Dr Sergiy Bogomolov Bio Research interests Research projects Publications PhD Students Services Courses Sergiy is a Lecturer 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 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. For more information, please check out Sergiy's CV. Open Positions I have a number of open PhD student positions in my group. If you are interested in cyber-physical systems and their applications in artificial intelligence and systems biology, please do not hesitate to contact me. Possible research topics include: verification and synthesis techniques for cyber-physical systems AI planning in mixed discrete-continuous domains biological systems modelling using hybrid automata Candidate profile: strong background in Computer Science and/or Mathematics (particularly numerical methods, differential equations, control and optimization theory) solid programming skills in C++/Java/Python/Matlab should have completed, or about to complete, a Bachelors/Masters/Honours degree in Computer Science or related areas Please send me a complete CV as well as your motivation letter and transcripts. Cyber-physical systems, artificial intelligence, systems biology Investigator Robust AI Planning for Hybrid Systems NEW: Discrete Abstraction of Multiaffine Systems, accepted at HSB 2016, together with Hui Kong, Ezio Bartocci, Radu Grosu, Thomas A. Henzinger, Yu Jiang and Christian Schilling [pdf | bib] NEW: Adaptive moment closure for parameter inference of biochemical reaction networks, Biosystems 2016, together with Christian Schilling, Thomas A. Henzinger, Andreas Podelski and Jakob Ruess and [pdf | bib] NEW: High-level Hybrid Systems Analysis with Hypy, accepted at ARCH 2016, together with Stanley Bak and Christian Schilling [pdf | bib] NEW: Benchmark for Verification of Fault-Tolerant Clock Synchronization Algorithms, accepted at ARCH 2016, together with Christian Herrera and Wilfried Steiner [pdf | bib] NEW: Demo: Hybrid Systems Model Transformations with HyST [pdf | bib] NEW: Scalable Static Hybridization Methods for Analysis of Nonlinear Systems, HSCC 2016, together with Stanley Bak,Thomas A. Henzinger, Taylor T. Johnson and Pradyot Prakash [ pdf | bib ] Abstraction-based Parameter Synthesis for Multiaffine Systems, HVC 2015, together with Christian Schilling, Ezio Bartocci, Gregory Batt, Hui Kong and Radu Grosu [ pdf | bib ] XSpeed: Accelerating Reachability Analysis on MultiCore Processors. HVC 2015, together with Rajarshi Ray, Amit Gurung, Binayak Das, Ezio Bartocci and Radu Grosu [ pdf | bib ] Adaptive moment closure for parameter inference of biochemical reaction networks. CMSB 2015, together with Thomas A. Henzinger, Andreas Podelski, Jakob Ruess and Christian Schilling [ pdf | bib ] Runtime Verification of Model-based Development Environments. RV 2015, together with Luan Nguen, Christian Schilling, and Taylor T. Johnson [ pdf | bib ] Co-Simulation of Hybrid Systems with SpaceEx and Uppaal, MODELICA 2015, together with Marius Greitschus, Peter G. Jensen, Kim G. Larsen, Marius Mikučionis, Thomas Strump and Stavros Tripakis [pdf | bib] Guided Search for Hybrid Systems Based on Coarse-Grained Space Abstractions, invited journal article at STTT2015 together with Alexandre Donze, Goran Frehse, Radu Grosu, Taylor T. Johnson, Hamed Ladan, Andreas Podelski and Martin Wehrle. Here you can find the paper and supporting material. [pdf | bib] Benchmark Generator for Stratified Controllers of Tank Networks, ARCH 2015, together with Stanley Bak, Marius Greitschus and Taylor T. Johnson [ pdf | bib ] PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior, ICAPS 2015, together with Daniele Magazzeni, Stefano Minopoli and Martin Wehrle [ pdf | bib ]. Eliminating Spurious Transitions in Reachability with Support Functions, HSCC 2015, together with Goran Frehse, Marius Greitschus, Thomas Strump and Andreas Podelski [ pdf | bib ] HYST: A Source Transformation and Translation Tool for Hybrid Automaton Models, HSCC2015, together with Stanley Bak and Taylor T. Johnson [ pdf | bib ]. Here you can find the supporting material. Assume-Guarantee Abstraction Refinement Meets Hybrid Systems, HVC 2014, together with Goran Frehse, Marius Greitschus, Radu Grosu, Corina Pasareanu, Andreas Podelski, and Thomas Strump. Best Paper Award. [pdf | bib] Planning as Model Checking in Hybrid Domains, AAAI2014, together with Daniele Magazzeni, Andreas Podelski and Martin Wehrle [ pdf | bib ]. Quasi-Dependent Variables in Hybrid Automata, HSCC2014, together with Christian Herrera, Marco Muñiz, Bernd Westphal and Andreas Podelski [ pdf | bib ]. Here you can find the supporting material. Abstraction-Based Guided Search for Hybrid Systems, SPIN2013, together with Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor T Johnson, Hamed Ladan, Andreas Podelski and Martin Wehrle [ pdf | bib ] A Box-based Distance between Regions for Guiding the Reachability Analysis of SpaceEx, CAV2012, together with Radu Grosu, Goran Frehse, Hamed Ladan, Andreas Podelski and Martin Wehrle [ pdf | bib ] Shape-based barrier estimation for RNAs, GCB 2010, together with Martin Mann, Björn Voß, Andreas Podelski and Rolf Backofen [ pdf | bib ] Composing Reachability Analyses for Stability Analysis of Hybrid Systems, ATVA 2010, together with Corina Mitrohin and Andreas Podelski [ pdf | bib ] DBLP Haodong Yao » PhD Student PC Chair/Organizer: Registration Chair, Cyber-Physical Week 2016, Vienna, Austria, April 2016 2nd International Workshop Symbolic and Numerical Methods for Reachability Analysis (SNR 2016) collocated with CPSWeek 2016 9th International Workshop on Numerical Software Verification 2016 (NSV 2016) collocated with CAV 2016 3nd International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH 2016) collocated with CPSWeek 2016 Workshop Symbolic and Numerical Methods for Reachability Analysis (SNR) collocated with CAV 2015 Workshop Model Checking and Automated Planning (MOCHAP) collocated with ICAPS 2015 8th International Workshop on Numerical Software Verification 2015 (NSV 2015) collocated with CPSWeek 2015 2nd International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH 2015) collocated with CPSWeek 2015 PC Member: Repeatability Evaluation for the 19th International Conference on Hybrid Systems Computation and Control (HSCC) 2016 1st International Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS) collocated with CPSWeek 2016 AAAI 2016: Student Abstract and Poster track HSB 2015 CAV 2015 Artifact Evaluation Repeatability Evaluation for the 17th International Conference on Hybrid Systems Computation and Control 2014 Refereed for ACM Computing Reviews, 2015 Nonlinear Analysis: Hybrid Systems, 2015 Theoretical Computer Science (TCS), 2015 ACM Transactions on Software Engineering and Methodology (TOSEM), 2012-2013 International Conference on Computer Aided Verification (CAV), 2012-2015 International Conference on Hybrid Systems: Computation and Control (HSCC), 2013-2015 International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), 2015 International SPIN Symposium on Model Checking of Software (SPIN), 2013 International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS), 2013-2014 International Workshop on Interactions between Computer Science and Biology (CS2Bio), 2013 NASA Formal Methods Symposium (NFM), 2013 International Workshop on Reachability Problems (RP), 2013 International Workshop-Conference on Tools & Methods of Program Analysis (TMPA), 2013 COMP3000 series courses Code Title Year 20.. Semester COMP3610 Principles of Programming Lang... 17, 19, 21 S2 COMP6000 series courses Code Title Year 20.. Semester COMP6361 Principles of Programming Lang... 17, 19, 21 S2 Updated: 10 August 2021/Responsible Officer: Head of School/Page Contact: CECS Webmaster Contact ANU Copyright Disclaimer Privacy Freedom of Information +61 2 6125 5111 The Australian National University, Canberra CRICOS Provider : 00120C ABN : 52 234 063 906 You appear to be using Internet Explorer 7, or have compatibility view turned on. Your browser is not supported by ANU web styles. » Learn how to fix this » Ignore this warning in future