PhD Student · Theoretical Computer Science & Mathematical Logic

Mrinalini
Subramanian

Charles University Prague · KTIML, MFF CUNI
Multi-Agent Path Finding · SAT-based Planning · Uncertainty & Optimisation
Email LinkedIn Scholar ORCID
Scroll
01 · About

What
I do

I am a PhD student in the Department of Theoretical Computer Science and Mathematical Logic.

My research centres on Multi-Agent Path Finding - coordinating many autonomous agents through shared environments safely and efficiently, with a particular focus on settings where execution time is uncertain or stochastic.

Multi-Agent Path Finding SAT-based Planning Temporal Uncertainty Combinatorial Optimisation Safe Policies Operations Research Discrete Mathematics
02 · Publications

Research

2025
Generating Safe Policies for Multi-Agent Path Finding with Temporal Uncertainty
J. Švancara · D. Zahrádka · M. Subramanian · R. Barták · M. Kulich
View Paper 2025
03 · Education

Academic
journey

2023 - Present
PhD · Theoretical Computer Science
Charles University, Prague
2020 - 2022
MSc · Applied Mathematics
PSG College of Technology
2017 - 2020
BSc · Mathematics
Amrita Vishwa Vidyapeetham
04 · Contact

Get in
touch

Email
subramanian@ktiml.cuni.cz
Find me online
LinkedIn · Google Scholar · ORCID - links in the header above.
Room 205, Floor 2 · Malá Strana
Department of Theoretical Computer Science
and Mathematical Logic
Faculty of Mathematics and Physics
Charles University
Malostranské náměstí 2/25
118 00 Praha 1, Czech Republic