Next:
Contents
Contents
Curriculum vitae
Torben Amtoft
email: tamtoft HAT k-state DOT edu
URL: people.cs.ksu.edu/~tamtoft
Contents
Academic Record
Current Research Interests
Awards and Honors
Professional Employments
Teaching
Undergraduate Courses
Graduate Courses & Seminars
Students
Ph.D. students
Committees for Ph.D. students
Master students
Project Supervision
Research Advising/Collaboration
Publications
Bibliography
Invited Talks and Research Presentations
Conference/workshop talks
Invited talks (since 2000)
Professional Contributions
Refereeing
Invited Seminar and Conference Participation
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 ...