S. Arun-Kumar
Courses
Current Course(s):
CSL 102: Introduction to Computer Science
II semester 2012-13
Past Courses:
CSL 303: Logic for Computer Science
I semester 2012-13
CSL 705: Theory of Computation
II semester 2011-12
CSL 765: Introduction to Logic and Functional Programming
I semester 2011-12
CSL 750: Foundations of Automatic Verification
II semester 2009-10
CSL 105: Discrete Mathematical Structures
2008-09
CSL 101: Introduction to Computers and Programming
I semester 2006-07
CSL 750: Foundations of Automatic Verification
2005-06
CS 432N: Compiler Design Principles
2004-05
CS 253N: Introduction to Logic for Computer Science
2002-03
CS 903: Special Topics in Theoretical Computer Science (
Algorithmic Number Theory
)
2001-02
CS232F: Programming Languages
2001-02
CS 912: Special Topics in Concurrency
2000-01
S. Arun-Kumar < sak@cse.iitd.ernet.in>
Last modified: Tue Jan 1 15:30:47 IST 2013