Hongwei Xi
ASSOCIATE PROFESSOR & DIRECTOR
Computer Science
Boston University
United States of America
Biography
Hongwei Xi received his Ph.D. degree in the field of Pure and Applied Logic from Carnegie Mellon University (CMU), Pittsburgh, PA, 1998. He joined the Computer Science Department at Boston University in October 2001, and is currently an Associate Professor of Computer Science. Dr. Xi’s research primarily focuses on applying advanced type theory to modern programming language design and implementation. He is the principal designer and implementor of the ATS programming language, which aims to facilitate the construction of safe and reliable software by advocating a programming paradigm that combines programming with theorem proving. Dr. Xi has done a large body of pioneering work on supporting dependent types and linear types for practical programming. He also served on the program committees of several prestigious ACM conferences on programming languages (e.g., POPL, PLDI and ICFP).
Research Interest
Applying advanced type theory to modern programming language design and implementation, ATS programming language
Publications
-
Xi H. Applied type system. InInternational Workshop on Types for Proofs and Programs 2003 Apr 30 (pp. 394-408). Springer, Berlin, Heidelberg.
-
van Raamsdonk F, Severi P, Sørensen MH, Xi H. Perpetual Reductions inλ-Calculus. Information and Computation. 1999 Mar 15;149(2):173-225.
-
Xi H, Pfenning F. Dependent types in practical programming. InProceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages 1999 Jan 1 (pp. 214-227). ACM.
