Hello! I am Om Swostik Mishra, a first-year DPhil student in Computer Science at the University of Oxford, where I am very fortunate to be advised by Prof. Christoph Haase and Prof. Rahul Santhanam. My research interests are broadly in theoretical computer science, particularly in logic in computer science and computational complexity theory.
I am grateful to be affiliated with Mansfield College.
Email: swostikom20 [at] gmail [dot] com; om.mishra [at] mansfield [dot] ox [dot] ac [dot] uk
Links: Google Scholar page, DBLP page, GitHub, LinkedIn
Publications:
Efficient Linearizability Monitoring [arxiv] [conference]
P.A. Abdulla, S. Grahn, B. Jonsson, S.N. Krishna, O.S. Mishra
PLDI 2025
Boundedness for Conjunctive Regular Path Queries over simple regular expressions [arxiv] [conference]
D. Figueira, S.N. Krishna, O.S. Mishra, A. Padmanabha
KR 2024
An Efficient Quantifier Elimination Procedure for Presburger Arithmetic [arxiv] [conference]
C. Haase, S. N. Krishna, K. Madnani, O. S. Mishra, G. Zetzsche
ICALP 2024
(Authors are in alphabetical order)