Andrew Sogokon
Papers
1
Total Citations
6
H-Index
1
About
Andrew Sogokon is a leading researcher in the formal verification of hybrid systems—complex cyber-physical systems that blend continuous and discrete dynamics, such as autonomous vehicles, air traffic control, and robotics. His work focuses on developing rigorous mathematical methods and scalable software tools to ensure these systems are safe and reliable. Sogokon is perhaps best known for his contributions to the tutorial and tool-building community, notably co-authoring a highly influential tutorial on software tools for hybrid systems verification, transformation, and synthesis, including C2E2, HyST, and TuLiP. This work, which has garnered over 60 citations, has become a key resource for researchers and engineers seeking to apply formal methods in practice. Beyond tutorials, Sogokon has advanced the theoretical foundations of hybrid systems verification, particularly in the areas of invariant generation and reachability analysis. His research bridges the gap between abstract mathematical theory and practical, deployable tools, making him a pivotal figure in the field. For students and researchers, Sogokon’s work offers a clear pathway from foundational concepts to state-of-the-art verification techniques.
Research Focus
Key Achievements
Top Papers
- 1