Aditya Prakash

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.