The University of Southampton

Dr Andrew Sogokon 


Research interests

Formal verification, differential equations, algebra, hybrid dynamical systems.


Algorithms, mathematics for computer science, verification.


Sogokon, Andrew, Mitsch, Stefan, Tan, Yong Kiam, Cordwell, Katherine and Platzer, André (2019) Pegasus: a framework for sound continuous invariant generation. In FM 2019: Formal Methods - 23rd International Symposium, Porto. Proceedings. Springer. 19 pp . (In Press)

Sogokon, Andrew and Jackson, Paul (2015) Direct formal verification of liveness properties in continuous and hybrid dynamical systems. Bjørner, Nikolaj and de Boer, Frank (eds.) In FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway. Proceedings. vol. 9109, Springer. pp. 514-531 .

Sogokon, Andrew, Ghorbal, Khalil, Jackson, Paul and Platzer, André (2016) A method for invariant generation for polynomial continuous systems. In Verification, Model Checking, and Abstract Interpretation - 17th International Conference (VMCAI 2016). Proceedings. Springer..

Sogokon, Andrew, Ghorbal, Khalil and Johnson, Taylor (2017) Operational models of piecewise-smooth systems. ACM Transactions on Embedded Computing Systems, 16 (5), 1-19. (doi:10.1145/3126506).

Sogokon, Andrew, Ghorbal, Khalil, Tan, Yong Kiam and Platzer, André (2018) Vector barrier certificates and comparison systems. In Proceedings of the 22nd International Symposium on Formal Methods, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018. Springer. pp. 1-19 .


Telephone: 23440

Share this profile FacebookGoogle+TwitterWeibo

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.