Programming
Languages
at Utah

The Programming Languages group at the University of Utah has a decades-long history of breakthroughs in pragmatic programming language research.

News

• March 26, 2026

  Thalia will be speaking on retrocomputing and the recovery of UNIX V4, with interactive demos of vintage '70s and '80s computers.

• March 19, 2026

  If-T: A Benchmark for Type Narrowing won a Editors' Choice Award at Programming 2026. Congratulations, Hanwen and Ben!

• March 18, 2026

  Ashton will be at Programming 2026 presenting his paper Chorex: Restartable, Language-Integrated Choreographies.

More…

Faculty

• Eric Eide
• Matthew Flatt
• Ganesh Gopalakrishnan
• Ben Greenman
• Pavel Panchekha
• John Regehr

Ph.D. Students

• Thalia Archibald
• Harvey Dam
• Hanwen Guo
• Yumeng He
• Dominic Kennedy
• Marisa Kirisame
• Bhargav Kulkarni
• Dibri Nsofor
• Andrew Riachi
• Axel Sorenson
• Anh Tran
• Ashton Wiersdorf
• Artem Yadrov
• Yuyou

Undergrads

• Mitch Briles
• Jackson Brough
• Jesus Ponce
• Jonas Regehr

Ph.D. Alumni

• Ian Briggs AWS
• Anton Burtsev UUtah
• Yang Chen Anthropic
• Nathan Cooprider STR
• Jianjun Duan ByteDance
• Zhengyang Liu Tenstorrent
• Vsevolod Livinskii Nvidia
• Manasij Mukherjee Nvidia
• Jubi Taneja Gimlet Labs
• Xuejun Yang Microsoft
• Lu Zhao Secregen

M.Sc. and B.Sc. Alumni

• Ryan Berger Nvidia
• Suyasha Bobhate Goldman Sachs
• Garrett Brothers WesTech
• Isaac Buehner
• Venkat Chakravarthy Amazon
• Yuvaraj Chesetti NortheasternU
• Cooper G. Coradeschi
• Nathan Davis ICE Mortage
• Parth Rajeshbhai Desai UUtah
• Usit Duongsaa
• Zane Enders 1-800 Contacts
• Oliver Flatt UWash
• JJ Garzella UCSD
• Skyler Griffith
• Pranav Kant Google
• Yash Lad Amazon
• Stefan Mada Nvidia
• Rohit Pagariya Microsoft
• Alex Richins Tenstorrent
• Ayushi Sharma SoFi
• Pranav Shenoy Microsoft
• William Shupe Voze