Research
I work on problems in the theory of computation. My thesis work at Cornell University, supervised by Dexter Kozen, focused primarily on the field of formal languages and in particular, the study of a class of computational models utilizing both nondeterminism and probability. More broadly, I'm interested in theoretical computer science, especially problems involving logic. My work draws from various fields of math and theoretical computer science, including logic, probability, category theory, algorithms, algebra, and graph theory, which end up coming together in surprising and beautiful ways. In the past, I have also worked on problems in game theory and audio processing.
Publications
- Ong, S., and Kozen, D. (2025). A Decision Procedure for Probabilistic Kleene Algebra with Angelic Nondeterminism. Technical Report [arXiv]
- Ong, S., Ma, S., & Kozen, D. (2025). Probabilistic Kleene Algebra with Angelic Nondeterminism. Proceedings of the ACM on Programming Languages, Volume 9, PLDI. [article]
- Ong, S., Ma, S., & Kozen, D. (2024). Probability and Angelic Nondeterminism with Multiset Semantics. Technical Report [arXiv]