Research
My research is in programming language theory. I am interested in probabilistic programming languages, denotational semantics, stochastic processes, and category theory.
Experience
- From October 2025, I am a PhD student with Sam Staton at the Department of Computer Science at the University of Oxford.
- From 2021 to 2025, I did my undergraduate and masters at the University of Oxford, where I majored in Mathematics and Computer Science.
Writing
- Semantics for the coinductive structures in stochastic processes: Infinite product measures in quasi-Borel spaces (Early ideas), in CALCO 2025
Ohad Kammar, Seo Jin Park, Sam Staton
[pdf] [slides]
- Semantics for Stochastic Processes in Probabilistic Programming Languages, for Part C Computer Science Project Report
Seo Jin Park
[pdf]
Talks
- An Introduction to Monads - Insight into Maths 2026
[link]
- Semantics for the coinductive structures in stochastic processes: Infinite product measures in quasi-Borel spaces (Early ideas), in CALCO 2025
Ohad Kammar, Seo Jin Park, Sam Staton
[pdf] [slides]
Teaching
-
Michaelmas 2025: Shadowing for Categories, Proofs and Processes (Part C Computer Science, University of Oxford).