Kamal Lodaya
Retired Professor
Theoretical Computer Science
kamal @ imsc . res . in
RSA Annex
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