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.