Torben Amtoft

Kansas State University Department of Computer Science 2179 Engineering Hall, 1701 D Platt St Manhattan, KS 66506, USA email: tamtoft at ksu dot edu phone (front office): +1 785-532-6350 fax (dept): +1 785-532-7353 url: people.cs.ksu.edu/~tamtoft

About me

• I'm an associate professor at the Department of Computer Science at Kansas State University
  • my schedule
  • curriculum vitae in PDF or html
• I am part of the eternal Church Project where I have belonged to branches in Boston, Edinburgh, Manhattan, Aarhus

My background

• I'm a native of Denmark and was for many years at DAIMI working for the DART/LOMAPS group and latest also for BRICS
• I was part of the Church Project which I joined when I started working at Boston University
• I was part of the ULTRA group at Heriot-Watt University in Edinburgh, Scotland

My research

• has resulted in a variety of papers

My teaching

CIS 301: Logical Foundations of Programming

Spring 2020, Fall 2019, Spring 2019, Fall 2014, Fall 2013, 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/705: (Introduction to) Programming Languages

Fall 2024, Fall 2023, Fall 2022, Fall 2021, Fall 2020, Fall 2019, Fall 2018, Fall 2017, Fall 2016, Fall 2015.

CIS 505: Programming-Language Paradigms

Fall 2010 (joint with Xinming Ou),
Fall 2009 (joint with David Schmidt).

CIS 575: Introduction to Algorithm Analysis

Spring 2024, Spring 2023, Spring 2022, Spring 2021, Spring 2020, Spring 2019, Spring 2018, Spring 2017, Spring 2016, Spring 2015, Spring 2014, 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 2024, Spring 2023, Spring 2015, Spring 2014, Spring 2013, Spring 2012, Spring 2011, Spring 2010, Spring 2009.

CIS 771: Software Specification

Fall 2018, Spring 2018, Spring 2017, Spring 2016.

CIS 775: Analysis of Algorithms

Fall 2024, Fall 2023, Fall 2022, Fall 2020, Fall 2018, Fall 2016, Fall 2015, Fall 2014, Fall 2013, Fall 2012, Fall 2011, Fall 2010, Fall 2009, Fall 2008.

CIS 890: Advanced Topics in Programming Languages and Software Foundations

Fall 2021.

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).