“The Analytical Engine weaves algebraic patterns, just as the Jacquard loom weaves flowers and leaves.” ―
News and Announcements
Shrisha Rao (PhD '05) Alumnus Q&A
Tuesday, March 26, 2024
Shrisha Rao graduated with a Ph.D. in computer science from the University of Iowa in 2005. In this Q&A, Rao discusses his new position as Dean of Faculty at IIIT Bangalore and advice for current CS students.
Garrett Morris Reflects on POPL24 and his Distinguished Paper Award
Monday, March 25, 2024
Dr. Garrett Morris, an assistant professor and inaugural Emeriti-faculty scholar in the Department of Computer Science, received a Distinguished Paper award while attending the 51st AMC SIGPLAN Symposium on Principles of Programming Languages (POPL 2024). His research, titled “Soundly Handling Linearity”, proposes a novel approach to soundly combining linear types with multi-shot effect handlers.
Computational Logic Center (CLC) seeks Post-doctoral Scholar
Friday, March 22, 2024
The Department of Computer Science is seeking applications for a post-doctoral scholar to join the Computational Logic Center (CLC) within the department of computer science. The CLC performs research across programming languages, formal verification, and automated reasoning, and includes J. Garrett Morris, Cesare Tinelli, Katherine Kosaian, as well as several research scientists, post-doctoral scholars, and graduate student researchers.
Spotlight
20
Full-Time Faculty
in the Department
1030
Students taught in introductory courses per year (2015-2020)
158
Women declared majors in the four undergraduate programs (2023-2024)
136
Graduate students in Computer Science and Informatics