91影视

Skip to main content Skip to navigation

Department of Computer Science

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 from , France. In 2021, I received my Bachelor of Science (Hons.) in Mathematics and Computer Science from , India.

Profile Pic

Publications

  • - Neha Rino, and . QEST+FORMATS 2024 (FORMATS Best Paper Award Winner)

  • - Neha Rino and . Business Process Management Workshops 2023.
  • - and Neha Rino. International Conference on Process Mining 2022.

Teaching Experience

Conferences, Workshops and Events

  • , Saarbrucken, Germany - Gave a talk and presented a poster.
  • , Gren氓, Denmark - Attendee.
  • , Calgary, Canada - Presented a paper online.
  • , Bristol, UK - Attendee.
  • , London, UK - Attendee.
  • , Kassel, Germany - Presented a paper.
  • , Bolzano-Bozen, Italy - Volunteered and presented a paper.

Contact

Email: neha dot rino at warwick dot ac dot uk

Office: , Department of Computer Science

Let us know you agree to cookies

We use cookies to give you the best online experience. Please let us know if you agree to functional, advertising and performance cookies. You can update your cookie preferences at any time.

Cookie policy