Kamal Lodaya

Kamal Lodaya

Theoretical Computer Science
2254 3310
kamal @ imsc . res . in
310 New Building
Research Interests: 
  • Logic, automata, concurrency, Petri nets.
Education: 
  • Ph.D. (Computer science), TIFR, Bombay University, 1988.
Career History: 
  • IMSc, 1987 to present.
Courses Taught: 
  • Theory of computation
  • logic
  • logics of programs
  • concurrency
  • automata
  • infinite discrete structures
  • programming languages
  • computability
  • databases.
Selected publications: 
  • Please use bulleted list and choose Full HTML