Khushraj Madnani

Assistant Professor, Department of CSE
IIT Guwahati, Guwahati - 781039
Assam, India

Room No.: H-209
Phone: +91 361 258
Email: khushraj @ iitg.ac.in

Personal Webpage: Click here to visit.

Education

Ph.D.
Timed Temporal Logics, 2013, 2019.

M.Tech.
Computer Science and Engineering, IIT Bombay, 2013.

B. Tech.
Computer Engineering, SVNIT Surat, 2011.

Research Interests

Automata Theory, Temporal Logics, Formal Logics, Games on Automata, Computability, Formal Analysis of Infinite State Systems, Formal Methods for Timed and Cyber-Physical Systems.

Primary Research Group

Theoretical Computer Science