Shibashis Guha

Assistant Professor, Tata Institute of Fundamental Research
Joined
July 2019

Names

Shibashis Guha

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
Postdoc Advisor
Orna Kupferman
2015 – 2017
PhD Advisor
S. Arun-Kumar
2009 – 2015

Expertise

Learning in formal methods
2019 – Present
Formal methods
2010 – Present
Logic and automata theory
2010 – Present

Publications

View all 51 publications

Co-Authors

View all 45 co-authors