Shibashis Guha

PhD Student
Department of Computer Science and Engineering
Indian Institute of Technology Delhi

Address :   Verification Lab
                      3rd Floor, Bharti Building
                      Department of Computer Science and Engineering
                      Indian Institute of Technology Delhi
                      New Delhi 110 016, INDIA.

Email: shibashis @ cse. iitd. ac. in

I am a PhD student working on behavioural equivalences and preorders over timed automata. I am exploring the decidability of various behavioural relations that are relevant for timed automata. I am also interested in constructing timed automata with reduced state space while preserving some equivalence relation. I am advised by Prof. S. Arun-Kumar and my research is supported by Microsoft Research India PhD Fellowship.

Research Interests


News and Updates

I am currently visiting the Centre for Formal Design and Verification of Software at IIT Bombay where I am working with Krishna. S and Ashutosh Trivedi on games over timed automata. I am working on robust semantics of timed automata and mean payoff games for timed automata.

Teaching:

Talks


Publications

Tools


Awards and Honors