Kamal Lodaya

6th ISLA, 21-26 Mar, Coimbatore
Trends and challenges in quantitative verification, 1-4 Feb, Mysuru
IARCS
ALI
TCS at IMSc
Papers
Recent
Reviews
Tutorials
with2
with Ashok Subramanian

Research interests: Logic and languages, Petri nets, concurrency, automata.

Graduate teaching: Theory of computation, logics of programs, concurrency, logic, automata, infinite discrete structures, programming languages, computability, databases.

Short courses:

Surveys and tutorials:

Update talks:

Reviews:

Recent work:

Some finished work:

Edited collections:
Other stuff: