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
News & Events
![](http://cs.uchicago.edu/wp-content/uploads/2024/07/Screenshot-2024-07-18-at-2.01.55 PM-305x200.png)
What’s Real and What’s Not? Watermarking to Identify AI-Generated Text
![](http://cs.uchicago.edu/wp-content/uploads/2024/07/applications_drum-305x201.png)
Enhancing Multitasking Efficiency: The Role of Muscle Stimulation in Reducing Mental Workload
![](http://cs.uchicago.edu/wp-content/uploads/2024/06/Screenshot-2024-06-25-at-10.16.09 AM-305x201.png)
Unlocking the Future of AI: How CacheGen is Revolutionizing Large Language Models
![](http://cs.uchicago.edu/wp-content/uploads/2024/05/zc-cloud-small.png)
UChicago Partners With UMass On NSF Expedition To Elevate Computational Decarbonization As A New Field In Computing
![](http://cs.uchicago.edu/wp-content/uploads/2024/05/raul-head-2-305x201.jpeg)
Assistant Professor Raul Castro Fernandez Awarded NSF CAREER Grant to investigate Data-sharing Markets
![](http://cs.uchicago.edu/wp-content/uploads/2024/05/DSC_0726-305x201.jpg)
Empowering Middle School Girls in Tech: compileHER’s <prompt/HER> Capstone Event
![](http://cs.uchicago.edu/wp-content/uploads/2024/05/Haifeng-768x768-1-305x201.jpeg)
Haifeng Xu Wins Best Paper Award at Leading AI Conference for Pioneering Research on Mechanism Design for LLMs
![](http://cs.uchicago.edu/wp-content/uploads/2024/05/1-receipt-305x201.jpg)