Expertise

Amtoft's research interest is in programming languages with a focus on semantics-based program analysis. Initially his focus was on type and effect systems, in particular predicting behavior of concurrent programs.

Research keywords:

  • semantics-based program analysis, program slicing, information flow analysis, probabilistic programming.
Past Affiliations

Visiting Research Associate, Department of Computer Science, College of Arts and Sciences, Boston University (past)

Assistant Professor, Department of Computer Science, Carl R. Ice College of Engineering, Kansas State University

Communities
Management Information Systems, Information Science/Systems, Computer Science
Degrees
PhD, University of Aarhus, Denmark, Computer Science, 1993
MS, Københavns Universitet, Computer Science, 1989
BS, University of Copenhagen, Computer Science and Mathematics, 1985