Research encompasses the design and implementation of programming languages, and their formal semantics. Research focusses on techniques to build reliable software, viewing programs as mathematical objects that are proved correct. Formal specification and verification based on logic, algorithms, automata theory, program semantics, and type theory is applied in order to build provably correct systems.

After you read this, you should delete and write your own post, with a new title above. To start a fresh post. Are some suggestions for your first post. You can find new ideas for what to blog about by reading the Daily Post. It creates a new blog post for you about any interesting page you read on the web. Make some changes to this page.

After you read this, you should delete and write your own post, with a new title above. To start a fresh post. Are some suggestions for your first post. You can find new ideas for what to blog about by reading the Daily Post. It creates a new blog post for you about any interesting page you read on the web. Make some changes to this page.

Associate Professor and Willett Faculty Scholar. University of Illinois at Urbana-Champaign. Urbana, IL 61801, USA. Programming Languages, Formal Methods, and Software Engineering. IEEE Computer Society Distinguished Visitors Program.

After you read this, you should delete and write your own post, with a new title above. To start a fresh post. Are some suggestions for your first post. You can find new ideas for what to blog about by reading the Daily Post. Make some changes to this page.