Neha Rino
About Me
I'm a first 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
Here is a list of the teaching assistantships I have held till date.
- GTA for Algorithms (CS260) - Term 1 2023/2024 and 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 and Events
Here is a selection of the academic events I have participated in.
- 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.