Krishna S
My areas of research are broadly
in Automata, Logics, Games and the formal verification of timed and probabilistic systems.
News
Since June 2020, along with Nathanaël Fijjalkow, Charles Grellois and Koko Muroya, I am organizing YR-OWLS, an online worldwide seminar on logic and semantics, featuring a young researcher every other wednesday in alternation with OWLS. Check out the OWLS website for more information regarding upcoming talks!
News
Since June 2020, along with Nathanaël Fijjalkow, Charles Grellois and Koko Muroya, I am organizing YR-OWLS, an online worldwide seminar on logic and semantics, featuring a young researcher every other wednesday in alternation with OWLS. Check out the OWLS website for more information regarding upcoming talks!