EXPERTISE: Computer Science, Pure and Applied Logic
Hongwei Xi is currently an Associate Professor of Computer Science at Boston University. He received his Ph.D degree in Pure & Applied Logic from Carnegie Mellon University in 1998 and then worked from Sep. 1998 to Aug. 1999 as a post-doctoral researcher at Pacific Software Research Center, Department of Computer Science and Engineering, Oregon Graduate Institute. In 1999-2001, he was appointed an assistant professor in Department of Electrical and Computer Engineering and Computer Science, University of Cincinnati. He joined Computer Science Department at Boston University in October 2001. Dr. Xi’s primary research focuses on the design and implementation of programming languages. In addition, he has developed keen interests to promoting software engineering benefits through the application of advanced type theory. At present, he has authored over 40 scientific papers and is the principal designer and implementer of the programming language ATS. He is a recipient of the National Science Foundation CAREER and ITR awards. He has also served as a program committee member for top programming language conferences such as ACM Symposium on Principles of Programming Languages (POPL), ACM Conference on Programing Language Design and Implementation (PLDI) and ACM International Conference on Functional Programming (ICFP).