Torben Amtoft

Kansas State University
Department of Computing & Information Sciences
219C Nichols Hall
Manhattan, KS 66506, USA
email: tamtoft at cis dot ksu dot edu
phone (direct): +1 785-532-7917
phone (secretary): +1 785-532-6350
fax (dept): +1 785-532-7353
url: people.cis.ksu.edu/~tamtoft

About me

My teaching

CIS 301: Logical Foundations of Programming
Spring 2008, Fall 2007, Fall 2006, Fall 2005, Spring 2005, Fall 2004, Spring 2004, Fall 2003, Spring 2003, Fall 2002.
CIS 761: Data Base Management Systems
Spring 2008, Spring 2007, Spring 2006, Spring 2005, Spring 2004.
CIS 775: Analysis of Algorithms
Fall 2008.
CIS 890: Language Based Security (joint with Anindya Banerjee)
Fall 2004, Fall 2003.
CIS 905: Theory of Programming Languages
Spring 2005 (joint with Anindya Banerjee),
Spring 2003 (Program Analysis).

My background