معرفی
Ying Liu is a Lecturer (Instructor) at the Department of Computer Science (DIKU), University of Copenhagen. Based at Universitetsparken 1 in Copenhagen, she contributes to the academic activities of the Programming Languages and Theory of Computation (PLTC) section. Her affiliation places her within a research environment focused on programming language technology, theory of computation, and their applications in security, systems, and high-performance computing.
As part of the PLTC section, Liu likely engages with research topics spanning algorithmic aspects of programming, formal verification, computer security, distributed systems, and functional programming techniques. The section maintains active research groups in areas including Decentralized Systems, Security & Privacy, Functional Technology for Modern Architectures (FUTHARK), and Probabilistic Programming.