UW-Madison Programming Languages and Compilers

The Programming Languages and Compilers Group at Wisconsin is a dynamic and vibrant community in which to carry out research on programming languages and related topics (i.e., logic, verification, and software engineering). According to CSRankings.org, our group is one of the very top groups in the U.S. in these areas.

In each of the 2006, 2008, 2010, and 2014 US News & World Report rankings of Ph.D. programs in the United States for the specialty area of Progamming Languages, Wisconsin was ranked tenth. In 2018, we moved up to ninth.

Please visit the links to the left to learn more about us and our projects.