معرفی
Uffe Dalgas is an Instructor at the Department of Computer Science, University of Copenhagen. His work aligns with the Programming Languages and Theory of Computation (PLTC) section, which focuses on programming language technology, theoretical computation, and interdisciplinary applications including blockchain, fintech, and formal verification.
Research Interests:
- Programming Language Theory and Applications
- Formal Verification and Secure Systems
- Compiler Technology and High-Performance Computing
- Distributed Ledger Technology and Fintech
Contact: ufda@di.ku.dk
۰مقاله منتشرشده