Shibashis Guha
Shibashis Guha
Assistant Professor, Tata Institute of Fundamental Research
- Joined July 2019
Names
Emails
****@tifr.res.in (Confirmed)
Personal Links
Career & Education History
Assistant Professor
Tata Institute of Fundamental Research (tifr.res.edu)
2020 – Present
Postdoc
Université Libre de Bruxelles (ulb.ac.be)
2017 – 2020
Postdoc
Hebrew University of Jerusalem (huji.ac.il)
2015 – 2017
PhD student
Indian Institute of Technology, Delhi (iitd.ac.in)
2009 – 2015
Advisors, Relations & Conflicts
Postdoc Advisor
Jean-Francois Raskin
2017 – 2020
PhD Advisor
S. Arun-Kumar
2009 – 2015
Expertise
Learning in formal methods
2019 – Present
Formal methods
2010 – Present
Logic and automata theory
2010 – Present