Seung Hoon (Simon) Park

Profile picture of Seung Hoon Park Research Assistant, University of Oxford

semail obfusticationeunghoon.park@cemail [Public PGP key]

Department of Computer Science
University of Oxford
Wolfson Building, 7 Parks Road
Oxford, OX1 3QD, United Kingdom

+61 (0)423 522 484
+44 (0)7341 197202

NOTE: the webpage has been archived, and the information and may not be up to date—please visit here.

Research Interests

I have always been interested in discovering the relation between software and mathematics. In particular, I am interested in using this to strengthen the guarantees of software using formal methods and techniques.


2023–2027 PhDImperial College London, London, United Kingdom
2020–2021 BSc (Hons)University of New South Wales, Sydney, Australia
2017–2020 BScUniversity of New South Wales, Sydney, Australia


2021–2023 Research Assistant (Full-time)University of Oxford, Oxford, United Kingdom
2019–2021 Research Assistant (Part-time)University of New South Wales, Sydney, Australia
2018–2019 Taste of Research Scholar (Full-time)Data61 CSIRO, Sydney, Australia


2021–2021 COMP3153/COMP9153University of New South Wales, Sydney, Australia
2020–2021 COMP3121/COMP9101University of New South Wales, Sydney, Australia
2019–2020 COMP2121University of New South Wales, Sydney, Australia

Honours, Scholarships and Awards

2023–2027 Imperial College London Doctoral Scholarship Award.
2023–2023 EMW @ ETAPS 2023 Scholarship.
2022–2023 PLMW @ POPL 2023 Scholarship.
2019–2019 UNSW Student Exchange Achievement Award.
2018–2019 UNSW Engineering Taste of Research Scholarship.
2018–2019 UNSW Engineering Dean's Honours List.


[1] Seung Hoon Park. A Formal CHERI-C Memory Model. Archive of Formal Proofs, Nov 2022. Formal proof development. [ bib | .html ]
[2] Seung Hoon Park, Rekha Pai, and Tom Melham. A Formal CHERI-C Semantics for Verification. In Sriram Sankaranarayanan and Natasha Sharygina, editors, Tools and Algorithms for the Construction and Analysis of Systems, volume 13993. Springer Cham, May 2023. [ bib | DOI | .pdf ]

A BiBTeX file of the publications above is available here.


2023 ETAPS 2023 ParticipantSorbonne Université and IHP, Paris, France
2023 POPL 2023 ParticipantBoston, United States
2022 FLoC 2022 ParticipantTechnion-Israel Institute of Technology, Haifa, Israel
2022 SPLV 2022 StudentHeriot-Watt University, Edinburgh, United Kingdom
2022 MGS 2022 StudentUniversity of Nottingham, Nottingham, United Kingdom
2019 Exchange StudentGeorgia Institute of Technology, Atlanta, United States

This document was partially generated using the LaTeX2HTML translator Version 2020.2 (Released July 1, 2020) and biblatex2html 1.99.

The translation was initiated on 2023-03-02.