Research Group
Oliver is a Research Intern at KInIT, currently working on ALFIE, where he’s developing a pipeline that classifies AI systems under the EU AI Act and identifies their corresponding compliance obligations. He’s finishing his Bachelor’s in Data Science at IT University of Copenhagen, with a thesis on “Formal verification of non-interference in a security-typed lambda calculus.
