Safe, Reliable, & Productive Programming Language and Software Engineering System
The current programming technology, even with all the hitherto thrilling advances, is still in infancy. The programming languages will constantly move to more convenient and higher levels. Programming tools will use more and more sophisticated logics and highly engineered implementations. Such tools will eventually reach to a point where ordinary programmers can daily use them without much effort. The cost of building secure and trustworthy software will be ever more decreased. We research on enabling technologies for such future: programming language theory, static analysis and verification, and software engineering applications and tools.