Verification, probabilistic models, infinite-state systems, program analysis, automata theory.
If you are considering doing a DPhil, feel free to contact me.
- LICS 2016: Distinguishing Hidden Markov Chains
- LICS 2014: On the Total Variation Distance of Labelled Markov Chains
- ICALP 2014: Stability and Complexity of Minimising Probabilistic Automata
- Probability and Computing (Michaelmas 2015, with S. Živný)
- Probability and Computing (Michaelmas 2014, with S. Živný)
- Probability and Computing (Michaelmas 2013, with S. Živný)
Since 2014 I tutor first- and second-year core courses for St John's College.
- PC member of FoSSaCS'18
- PC member of FCT'17
- PC member of ICALP'17
- PC member of CAV'17
- PC member of STACS'16
- Instructor at the ENS Lyon winter school 2015 on Probabilistic Techniques and Models in Computer Science (with J. Ouaknine and J. Worrell)
- PC member of MEMICS'15
- PC member of Highlights'15
I received my undergraduate degree in computer science at the University of Stuttgart in 2005. I completed my doctoral degree (Dr. rer. nat., summa cum laude) at the TU München in 2009 under the supervision of Javier Esparza. From 2009 to 2013 I had postdoctoral positions, including a DAAD postdoctoral fellowship, at the University of Oxford. I hold a Royal Society University Research Fellowship for my project on Quantitative Analysis of Infinite-State Systems. Since 2013 I am a Research Lecturer and since 2014 an Associate Professor at the Oxford University Department of Computer Science.
Ines Marusic (co-supervised with M. Benedikt and J. Worrell)