Li-yao Xia is a computer scientist working on Interaction Tree, compiler technologies, and meta modeling, and Coq. He is a PhD student at the University of Pennsylvania, where his research is supervised by Professor [[Benjamin Crawford Pierce]]. He has a personal blog called [Poisson.chat](https://poisson.chat/). Xia's work on [[Interaction Trees]]([[ITrees]]) focuses on developing a new programming model for concurrent and distributed systems. Interaction Tree is based on the idea of using trees to represent the interactions between different components of a system. This representation makes it easier to reason about the behavior of the system and to develop efficient algorithms for its execution. Xia has also worked on compiler technologies for Interaction Tree. He has developed a compiler that can translate Interaction Tree programs into efficient code for a variety of platforms. In addition to his work on Interaction Tree, Xia is also interested in meta modeling and [[Coq]]. Meta modeling is a technique for modeling programming languages and other software systems. Coq is a proof assistant that can be used to verify the correctness of programs and proofs. Xia's work has been published in top academic conferences and journals, including the ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI) and the Journal of Functional Programming. He has also received several awards for his research, including the ACM SIGPLAN Doctoral Dissertation Award. Here are some of Xia's specific contributions to the field of computer science: - He developed a new programming model for concurrent and distributed systems called [[Interaction Trees]]. - He developed a compiler that can translate Interaction Tree programs into efficient code for a variety of platforms. - He worked on meta modeling and [[Coq]] to verify the correctness of programs and proofs. Xia's work has the potential to make a significant impact on the way that concurrent and distributed systems are programmed and verified. His Interaction Tree programming model is a promising new approach to developing such systems, and his compiler and verification tools can help to make Interaction Tree programs more efficient and reliable. # References ```dataview Table title as Title, authors as Authors where contains(authors, "Li-yao Xia") ```