Getting Down to Basics
2020 ACM Turing awardees Alfred Aho and Jeffrey Ulman discuss their work and how it continues to influence new computer scientists.
2020 ACM Turing awardees Alfred Aho and Jeffrey Ulman discuss their work and how it continues to influence new computer scientists.
Professors Jason Nieh and Ronghui Gu build the first system to guarantee the security of virtual machines in the cloud, SeKVM could transform how cloud services are designed, developed, deployed, and trusted.
Faculty from the department have been named recipients of the 2020 Amazon Research Awards.
The Gödel Prize for outstanding papers in the area of theoretical computer science is sponsored jointly by the EATCS and the ACM SIGACT. Chen is recognized for his 2017 paper on constraint satisfaction problems (CSP).
Lydia Chilton talks about teaching, her journey, and creating AI tools for graphic design.