Computers and related technologies are only as good as the instructions given to them by humans. Countless programming languages have been developed, each with their own unique advantages and disadvantages. But as the universe of computation perpetually evolves, programmers need new interfaces to take full advantage of new breakthroughs.

The UChicago CS Programming Languages group studies language design and implementation, from theoretical foundations to practical applications. Faculty and students develop new languages and compilers for parallel computing, quantum computing, and image analysis and visualization, new techniques for reasoning about and verifying programs, and new user interfaces that make programming computers accessible to broader audiences. The group also collaborates with other research areas in the department to construct new ways of preventing, detecting, and correcting flaws in large software systems.

Labs & Groups

Programming Languages Group

Interested in all aspects of programming language design and implementation, ranging from theoretical foundations to practical applications.

Related Faculty

Ravi Chugh

Associate Professor, Department of Computer Science

Robert Rand

Assistant Professor, Department of Computer Science

John H. Reppy

Professor, Department of Computer Science

News & Events

UChicago CS News

Assistant Professor Robert Rand Receives Air Force Young Investigator Grant

Dec 19, 2022
UChicago CS News

UChicago’s Parsl Project Pivots to Sustainability and Community with New Grants

Nov 17, 2022
Past Event

Three-Minute Madness!

Oct 12, 2022
UChicago CS News

Civic Tech Pioneer James Turk Joins UChicago CS to Teach in MPCS, CAPP

Oct 06, 2022
UChicago CS News

UChicago/Argonne Computer Scientist Ian Foster Receives ACM/IEEE Ken Kennedy Award

Sep 07, 2022
Past Event

DSI Summer Lab: Final Symposium

Aug 19, 2022
UChicago CS News

Concurrency Bug Research by Prof. Shan Lu Receives ASPLOS Influential Paper Award

Mar 29, 2022
UChicago CS News

Overhaul of Standard ML of New Jersey System Wins Special IFL Award

Aug 05, 2021
UChicago CS News

Two UChicago CS PhD Students Receive 2021 Harper Fellowship

Jun 07, 2021
Past Event

Fraser Brown (Stanford) – Eliminating Bugs in Real Systems

Apr 12, 2021
Past Event

Greg Nelson (Washington) – Learning Technology for Formal Systems

Mar 11, 2021
UChicago CS News

Quantum Compiler Co-Created by Robert Rand Named Distinguished Paper at POPL 21

Jan 21, 2021
arrow-down-largearrow-left-largearrow-right-large-greyarrow-right-large-yellowarrow-right-largearrow-right-smallbutton-arrowclosedocumentfacebookfacet-arrow-down-whitefacet-arrow-downPage 1CheckedCheckedicon-apple-t5backgroundLayer 1icon-google-t5icon-office365-t5icon-outlook-t5backgroundLayer 1icon-outlookcom-t5backgroundLayer 1icon-yahoo-t5backgroundLayer 1internal-yellowinternalintranetlinkedinlinkoutpauseplaypresentationsearch-bluesearchshareslider-arrow-nextslider-arrow-prevtwittervideoyoutube