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 for predicting the behavior of concurrent programs. For more than a decade, his main interest has been the analysis of information flow and dependencies, with applications to language-based security and program slicing.
