CMI: B Srivathsan

B Srivathsan
Associate Professor

Computer Science Department
Chennai Mathematical Institute

Room number 401
H1, SIPCOT IT Park, Siruseri
Kelambakkam 603 103
India

Phone :	+91 44 7196 1060
E-Mail :

Academic background

B.Tech + M.Tech	Jul 2004 - Jul 2009	IIT Bombay
(Dual degree)		Computer science and engineering department

Ph.D	Oct 2009 - Jun 2012	LaBRI
		University of Bordeaux
		Advisors: Frédéric Herbreteau, Igor Walukiewicz

Post-doc	Jul 2012 - Jun 2013	RWTH-Aachen
		Software modeling and verification group
		Head: Joost-Pieter Katoen
		Advisors: S N Krishna, Paritosh Pandya

Research Interests

Publications

DBLP Google Scholar Personal list

PhD supervision

Current:

R. Keerthan (currently a part-time PhD student, employed at TCS Innovation Labs, Pune)
Adwitee Roy
Sanchari Sil (co-advising with S Krishna, IIT Bombay)
Arnab Sur
Vaishnavi Vishwanath (co-advising with Patricia Bouyer-Decitre, ENS Paris-Saclay, France)

Graduated:

R. Govind (co-advised with Igor Walukiewicz, Frédéric Herbreteau at LaBRI, University of Bordeaux) Dissertation
Sayan Mukherjee (co-advised with Paul Gastin, ENS Paris-Saclay) Dissertation
Soumyajit Paul (co-advised with Hugo Gimbert at LaBRI, University of Bordeaux) Dissertation

Professional Service

Scientific Service

Programme Committees of Conferences: ATVA 2024, QEST-FORMATS 2024, CAV 2024, FSTTCS 2023, ATVA 2022, GanDALF 2020, FORMATS 2020, MFCS 2019, GanDALF 2018, FORMATS 2018, FSTTCS 2017, ATVA 2017

Organization: IARCS Verification Seminar, Games workshop 2020, Advances in Verification Workshop@FSTTCS 2020, CAALM 2019, ACTS 2017, Trends and Challenges in Quantitative Verification - Mysore Park workshop 2016, ACTS 2015

Teaching

Last updated: June 2024