معرفی
Yue Shi serves as an Instructor in the Department of Computer Science at the University of Copenhagen, actively contributing to the Programming Languages and Theory of Computation (PLTC) section. This section drives research at the intersection of programming language theory and practical applications including security, privacy, and fintech.
Research interests encompass:
- Programming Languages
- Theory of Computation
- Formal Verification
- Distributed Ledger Technology
- Compiler Technology
- Computer Security
Within the PLTC ecosystem, Yue Shi engages with specialized research groups such as Decentralized Systems (blockchain/distributed ledgers), Security & Privacy, HOT Lab (higher-order typed languages), and FUTHARK (GPU-accelerated functional programming). The section supports BSc and MSc programs in Computer Science, Machine Learning, and related disciplines while maintaining industry collaborations in financial transparency and quantum programming.