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, 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: +44 (0) 23 8059 3440