Aditya Prakash
Graduate Student, University of Warwick
Aditya Prakash is a PhD student at the University of Warwick, under the supervision of Marcin Jurdzinski. He is broadly interested in automata and games for verification, with an affinity towards those that involve parity conditions or counters. For his PhD, he is researching history-determinism on various models, with a focus on parity automata.
Program Visits
Extended Reunion: Theoretical Foundations of Computer Systems, Summer 2024, Visiting Graduate Student