Next:
Contents
Contents
Curriculum vitae
Torben Amtoft
email: tamtoft HAT cis DOT ksu DOT edu
URL: people.cis.ksu.edu/~tamtoft
Contents
Academic Record
Current Research Interests
Awards and Honors
Professional Employments
Teaching
Undergraduate Courses
Fall 2002 and onwards, Kansas State University
Spring 2001, Boston University
Fall 1996, University of Aarhus
Graduate Courses & Seminars
Spring 2004 and onwards, Kansas State University
Fall 2008, Kansas State University
Spring 2005, Kansas State University
Fall 2003 & Fall 2004, Kansas State University
Spring 2003, Kansas State University
Fall 1999 & Spring 2000 & Fall 2000, Boston University
Fall 1993, University of Aarhus
Spring 1993, University of Aarhus
Students
Committees for Ph.D.
Major professor for Master's.
Committees for Master's.
Project Supervision.
Research Advising.
Publications
Bibliography
Software Development
Invited Talks and Research Presentations
Conference/workshop talks
Invited talks (recent)
Outreach
Professional Contributions
Refereeing
Program Committees
Journals
Conferences
Invited Seminar and Conference Participation
Administration
Professional Development
Personal Record
Nationality:
Languages:
References
Appendix: Detailed Summary of Research
Memoization and theory of computation.
Models for program optimization.
Specification of analysis and transformation.
Effect analysis for concurrent systems.
Applications of partial evaluation.
Frameworks for polyvariant analysis.
Type systems for the ambient calculus.
Type systems for register allocation.
Information Flow Analysis.
Slicing.
About this document ...
Torben Amtoft 2008-11-28
