Seung Hoon Park PhD Student
Seung Hoon (Simon) is a PhD student at the Department of Computing at Imperial, under the supervision of Professor Philippa Gardner. His primary research interest is in the mechanisation of a Compostional Symbolic Execution (CSE) framework and bridging the gap between theory and implementation of CSE.
In the past, Simon worked on formally verifying C algorithms and formally modelling CHERI-C memory models.