Kamal Lodaya

35th FSTTCS, 16-18 Dec, Bangalore
Automata, graphs and logic, 7-8 Aug, Chennai
IARCS
Association for logic in India
TCS at IMSc
Papers
Recent
Reviews
Tutorials
with2
with Ashok Subramanian

Research interests: Petri nets, concurrency, logic, automata.

Graduate teaching: Logics of programs, theory of computation, 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: