معرفی
Emil Bentin-Ørum serves as an Instructor at the Department of Computer Science (DIKU), University of Copenhagen. He is affiliated with the Programming Language and Theory of Computation section, which conducts research in programming language technology and theoretical aspects of computation with applications in security, privacy, and financial technology.
His research interests include:
- Programming Language Theory
- Theory of Computation
- Formal Verification
- Compiler Technology
- Distributed Ledger Technology
- Computer Security and Privacy
The Programming Language and Theory of Computation section encompasses multiple research groups including Decentralized Systems, Security & Privacy, HOT Lab, and Quantum Programming, with members working on foundational technologies like Moscow ML and MLKit compilers.
Dr. Bentin-Ørum contributes to teaching across Computer Science programs at the University of Copenhagen, including BSc programmes in Computer Science, Computer Science and Economics, Machine Learning and Data Science, and Communication & IT, as well as the MSc programme in Computer Science, with focus on programming languages and systems tracks.
