Hongwei Xi

Dr. Xi is an associate professor in the computer science department whose research focuses on the design and implementation of programming languages. He has also developed keen interests to promoting software engineering benefits through programming language design. Through many years of continuing efforts, working with graduated students he has designed and implemented ATS, a programming language with a highly expressive type system rooted in the framework Applied Type System. As of now, his primary research interest centers around implementing real and complex systems in ATS that can convincingly demonstrate the power of advanced types (such as dependent types and linear types) in facilitating the construction of high-quality software.