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

My background

My research

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