Skip to main content

Awards & Honors

Ken McMillan Elected to the National Academy of Engineering

Ken McMillan

02/11/2026 - Ken McMillan, a professor in the Department of Computer Science, was recently inducted into the National Academy of Engineering, one of the highest honors in the field. McMillan is known for his work on symbolic model checking, which enabled automatic verification of hardware and software systems with extremely large state spaces. His innovations laid the foundation for tools such as the Symbolic Model Verifier (SMV), which have become essential for ensuring correctness in complex engineering systems.

10 Computer Science Students Selected for New Amazon AI PhD Fellowship

10/22/2025 - Amazon just announced its new AI PhD Fellowship program, which will provide two years of funding for more than 100 PhD students at nine universities who are pursuing research on core AI disciplines such as machine learning, computer vision, and natural-language processing. The goal of the program is to help drive the innovations that will underwrite the next step in the evolution of practical AI.

UT Computer Science Ranked No. 9 Nationally, Top 10 in AI and Theory in U.S. News & World Report Rankings

Number 9 Undergraduate Computer Science Program in the Nation, US News & World Report, 2026.

09/24/2025 - The Department of Computer Science at The University of Texas at Austin ranks No. 9 nationally among undergraduate programs in the 2026 U.S. News & World Report Best Colleges rankings. Its Artificial Intelligence and Computer Science Theory programs rank No. 7 and No. 9, respectively. Computer Science is one of 24 UT undergraduate programs ranked in the top 10 nationally.

Daehyeok Kim Wins National Research Award for Advancing Cloud Hardware Efficiency

A professional portrait of Daehyeok Kim, smiling and wearing glasses and a light-colored blazer. Bold text on the left reads "National Research Award for Advancing Cloud Hardware Efficiency" against a blurred cityscape background. His name appears on the right side in white text.

07/23/2025 - Daehyeok Kim, an assistant professor in the Department of Computer Science at The University of Texas at Austin, has received a 2025 National Science Foundation (NSF) CAREER Award for his project “Toward Programmable NICs as Multi‑Tenant Cloud Resources.” The award provides $622,738 over five years to su

UT Theoretical Computer Scientists Earn Gödel Prize

Portraits of Eshan Chattopadhyay and David Zuckerman against a burnt orange background with bold white text that reads: ‘2025 Gödel Prize.’ Their names appear above their respective photos.

06/11/2025 - David Zuckerman, professor of computer science at The University of Texas at Austin, and Eshan Chattopadhyay, now an associate professor at Cornell University, have been awarded the 2025 Gödel Prize—one of the most prestigious accolades in theoretical computer science.

Is AI the Key to Designing Wireless Chips Faster and Smarter?

From left to right: Ph.D. student Song Hang Chai, post-doctoral researcher Hyunsu Chae, professor David Pan and assistant professor Sensen Li.

05/28/2025 - A UT Austin-led research team is developing AI-assisted tools to dramatically accelerate and simplify the design of radio frequency integrated circuits (RFICs)—a foundational technology for next-gen communications, radar, and autonomous systems. Supported by a $9.6M award from Natcast, the project includes UT Computer Science professor Adam Klivans and aims to expand access to RFIC design while advancing U.S. leadership in semiconductor innovation.