Neha Rino
About Me
I'm a third year PhD student at the Department of Computer Science, under the supervision of Dmitry Chistikov and Carsten Maple. My research is funded by the Feuer International Scholarship in Artificial Intelligence.
My work falls under the Theory and Foundations research theme, and my primary areas of interest are automata theory, model-checking, and computational complexity theory. More specifically, I'm currently focusing on determining how efficiently we can verify the safety of program code, that is, I am interested in the fine-grained complexity of automaton emptiness problems. I have also worked on the verification of timed systems, concurrent systems, and timed logic for signals.
Before starting my PhD, in 2023 I obtained a Parisian Master of Research in Computer Science (MPRI M1 and M2) from Ecole Normale Supérieure Paris-Saclay, France. In 2021, I received my Bachelor of Science (Hons.) in Mathematics and Computer Science from Chennai Mathematical Institute, India.
Publications
-
Efficiently Computable Distance-Based Robustness for a Practical Fragment of STL - Neha Rino, Mohammed Foughali and Eugene Asarin. QEST+FORMATS 2024 (FORMATS Best Paper Award Winner)
- Timed Alignments with Mixed Moves - Neha Rino and Thomas Chatain. Business Process Management Workshops 2023.
- Timed Alignments - Thomas Chatain and Neha Rino. International Conference on Process Mining 2022.
Teaching Experience
- GTA for Algorithms (CS260) - 2025/2026, 2024/2025 and 2023/2024, University of Warwick.
- GTA for Algorithmic Game Theory (CS409/929) - Term 1 2025/2026, University of Warwick
- GTA for Formal Languages (CS259) - Term 2 2024/2025, University of Warwick
- GTA for Mathematics for Computer Scientists II (CS 131) - Term 2 2023-2024, University of Warwick.
- TA for Discrete Mathematics - Spring Semester 2021, Chennai Mathematical Institute.
- TA for Theory of Computation - Fall Semester 2020, Chennai Mathematical Institute.
- TA for English - Spring Semester 2021, Chennai Mathematical Institute.
Conferences, Workshops and Events
- Highlights 2025, Saarbrucken, Germany - Gave a talk and presented a poster.
- Autobóz 2025, Grenå, Denmark - Attendee.
- QEST+FORMATS 2024, Calgary, Canada - Presented a paper online.
- VeTSS Summer School 2024, Bristol, UK - Attendee.
- VeTSS Annual Event 2024, London, UK - Attendee.
- Highlights 2023, Kassel, Germany - Presented a paper.
- ICPM 2022, Bolzano-Bozen, Italy - Volunteered and presented a paper.
Contact
Email: neha dot rino at warwick dot ac dot uk
Office: CS2.08, Department of Computer Science