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 (front office): +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
Fall 2012, Fall 2011, Spring 2008, Fall 2007, Fall 2006, Fall 2005, Spring 2005, Fall 2004, Spring 2004, Fall 2003, Spring 2003, Fall 2002.
CIS 505: Programming-Language Paradigms
Fall 2010 (joint with Xinming Ou),
Fall 2009 (joint with David Schmidt).
CIS 575: Introduction to Algorithm Analysis
Spring 2013.
CIS 761: Database Management Systems
Spring 2012, Spring 2011, Spring 2010, Spring 2009, Spring 2008, Spring 2007, Spring 2006, Spring 2005, Spring 2004.
CIS 770: Formal Language Theory
Spring 2013, Spring 2012, Spring 2011, Spring 2010, Spring 2009.
CIS 775: Analysis of Algorithms
Fall 2012, Fall 2011, Fall 2010, Fall 2009, Fall 2008.
CIS 890: Program Analysis and Computability
Fall 2010.
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