Krishna S
My areas of research are broadly
in Automata, Logics, Games and the formal verification of timed and probabilistic systems.
News
OWLS is on a break since Jan 2022. Between June 2020 and December 2021, along with Nathanaël Fijjalkow, Charles Grellois and Koko Muroya, I have been 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!
News
OWLS is on a break since Jan 2022. Between June 2020 and December 2021, along with Nathanaël Fijjalkow, Charles Grellois and Koko Muroya, I have been 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!