Graduate teaching at IMSc:
Theory of computation, logic, logics of programs, concurrency, automata,
infinite discrete structures, programming languages, computability, databases.
Short courses:
Logic and automata, behaviour and structure.
7th ISLA (Part 2) school, IIEST Shibpur, 17-22 Dec 18;
Peking Univ, 16 Oct 18; IIT Madras, 11 Apr 16;
Automata, graphs and logic, Madras Christian College, 7-8 Aug 15;
4th ISLA school, Manipal, 9-20 Jan 12;
1st Automata, concurrency and logic
school, IMSc, 26-28 Jan 01; and
2nd CLC, Kolkata, 24-30 June 99;
Proc Automata, Graphs and Logic, Chennai,
Narosa (2019), to appear.
Model checking.
BITS Goa, 4-5 Nov 15;
Tezpur Univ, 16-19 Mar 15; IMSc, 14-17 May 12;
2nd Automata, concurrency and logic
school, IMSc, 24-26 Jan 03; Bangalore, 10 Sep-3 Oct 01.
Using formal logic in program correctness.
BITS Goa, 4 Nov 15;
Univ of Madras, 7 Dec 12;
An invitation to theoretical computer science,
IIT Madras/nptel, Dec 09-Apr 10;
AVIT Paiyanoor, Feb 09;
Practical program verification, Hyderabad, 14-18 Feb 08.
Programming concurrency and communication
(slides).
VIT Chennai, 19 Sep 13;
IMSc, 23 June 12, June 11 and June-July 10;
SNS College of Engg, Coimbatore, 25-26 Nov 10;
PBS College, Vijayawada, 4-5 Aug 07;
NIT Surathkal, 23-27 July 07;
St Joseph's College, Tiruchirapalli, 26-28 Aug 04;
and Sacred Heart College, Tirupattur, 26-30 Apr 04.
Turing machines and computability.
A celebration of Turing,
IMSc thematic lectures, 25 Aug 12;
Automata and computability workshop, Colombo, 29 July-5 Aug 02; and
2nd Theoretical aspects of computer science
course, IMSc, 15 Oct-9 Nov 01.
Algorithms
as machines. Resonance14,4 (2009), pp 367-379.
PSG Tech, Coimbatore, 2 Mar 12;
Univ of Madras, 29-30 June 10 and 22-23 July 04;
Easwari Engg College, Chennai, 30 Apr 10;
IMSc, May-June 09;
IIT Roorkee, 19 Jan 08;
Kongu Engg College, Perundurai, 28-29 Dec 07;
AK College of Engg, Krishnankoil, 28-29 Oct 06;
and KSR College of Technology, Tiruchengode, 22-23 Sep 06.
Automata, nets, models for concurrency.
Univ de La Réunion, 7-9 Jan 16;
TIFR Mumbai, May 09 and 21-23 Feb 06; and Univ of Birmingham, June 03.
Automata, expressions, concurrency and communication.
BITS Goa, 6 Nov 15; Anna Univ, Chennai, 16 Nov 12; VIT Vellore, 14 July 11;
Mumbai, 28 May 10; IMSc, Mar 10;
and Formal theories of communication workshop,
Lorentz Center, Leiden, 22-26 Feb 10.
Between two- and three-variable logic on word models.
16th Formal methods update,
Mandi, 17-18 July 17;
15th Asian logic conference, Daejeon, 10-14 July 17.
Axiomatizing regular expressions.
IMSc, 28 Aug 15;
14th Formal methods update,
Bangalore, 16-17 July 15; Mumbai, 18 June 15.
Automata from left and right.
13th Formal methods update,
Kharagpur, 28-30 July 14.
Probabilistic systems and their verification.
Guwahati, 1 Nov 12; IMSc, 30 Aug 12;
11th Formal methods update,
Chennai, 19-21 July 12; Mumbai, June 12.
>From temporal logic to circuits.
9th Formal methods update,
Gandhinagar, 15-17 July 10.
(with
Madhavan Mukund and
R. Ramanujam)
Perspectives in concurrency theory, Universities Press,
CRC Press (2009).
The paper "Folding systems of communicating agents"
in this volume, by myself and S.Paul, has a serious bug.
Philippe Darondeau gave us an example event structure from his paper
"Context-free event domains are recognizable" with
Eric Badouel and J.-C. Raoult (1999) on which our proof does not work.
(with Baskar Anguraj)
Death and life at comets
(tamil slides),
IMSc, 8 May 18; Puducherry Science Centre, 25 Feb 17;
BITS Goa, 4 Nov 15; Nakshatra, NIT Tiruchi, 16 Feb 14;
Eyes on Ison, IMSc, 13 Oct 13.
(with pictures by
R. Shankar and Rahul Basu)
Eclipse at Tawang (22 July 09). Nehru High School, Chennai, 21 Aug 17;
Aainanagar, July 14;
National College, Tiruchi, 31 Aug 09.
Review of
Susantha Goonatilake -
Toward a global science: mining civilizational knowledge.
Rev. Dev. ChangeV,2, Dec 00.