معرفی
Hongwei Xi is an Associate Professor in the Department of Computer Science at Boston University, affiliated with the College of Arts & Sciences. He holds a PhD in Pure and Applied Logic from Carnegie Mellon University (1998). His primary research focuses on applying advanced type theory to programming language design, particularly through the development of the ATS programming language. This language emphasizes safe software construction via a paradigm combining programming with theorem proving.
Dr. Xi's work includes pioneering contributions to dependent and linear types for practical programming, as well as serving on program committees for major ACM conferences like POPL and PLDI. His research interests span type systems, formal verification, and concurrency models. He has authored numerous publications on topics such as session types, multirole logic, and dependently typed programming languages.
Dr. Xi’s academic contributions also include the design of the ATS language and its implementation, which demonstrates practical applications of type-theoretic principles. His recent work explores two-level linear dependent type theories and multirole logic frameworks for multiparty systems.
His professional activities include advising on language design and verification methodologies, though specific grant details are not detailed in the provided materials. Dr. Xi is actively involved in advancing the theoretical foundations of programming languages while ensuring practical applicability in real-world software development.
