Kamal Lodaya

15th Asian Logic, 10-14 July'17, Daejeon
9th Meth. Modalities, 8-9 Jan'17, Kanpur
7th ICLA, 5-7 Jan'17, Kanpur
36th FSTTCS, 11-16 Dec, Chennai
Papers
Recent
Reviews
Tutorials
IARCS
ALI
TCS at IMSc
with2
with Ashok Subramanian

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

Graduate teaching: Theory of computation, logic, logics of programs, concurrency, 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: