|
My advisor is Dr. Kamal Lodaya. Research interests: Concurrency theory -- automata, logics, Petri nets. Parameterized complexity theory. I have completed my Master's thesis Complexity of the reachability problem in subclasses of Petri nets. I am continuing my PhD research in related areas. |