معرفی
Andreas Høier Hvass serves as an Instructor at the Department of Computer Science (DIKU) at the University of Copenhagen. He is affiliated with the Programming Language and Theory of Computation (PLTC) section, which conducts research at the intersection of programming language theory and practical applications.
His research interests include:
- Programming Languages
- Theory of Computation
- Formal Verification
- Computer Security and Privacy
- Distributed Systems
- Blockchain Technology
The PLTC section focuses on areas such as algorithmic programming, formal verification, computer security, privacy, distributed ledger technology, and fintech applications. As an Instructor, Hvass contributes to teaching within the Computer Science programs at DIKU.
His research aligns with the department's work in programming language technology, theoretical computation, and their practical applications in security-critical systems.