Seminars
CS Colloquium : Colloquium - Jenna DiVencenzo, Carnegie Mellon University, Gradual Verification: Assuring Programs Incrementally
Jenna DiVencenzo
Wednesday, February 1, 2023 - 4:25pm to 5:25pm
https://iastate.zoom.us/j/99745098348
CS Colloquium : Colloquium - Clay Stevens, University of Nebraska-Lincoln, Advancing the Use of Formal Methods in the Design of Real-World
Clay Stevens
Tuesday, January 31, 2023 - 4:25pm to 5:25pm
https://iastate.zoom.us/j/99688545064
CS Colloquium : Colloquium - Pengyu Nie, The University of Texas at Austin, Execution-Guided Learning for Software Development, Testing, and Maintenance
Pengyu Nie
Monday, January 30, 2023 - 4:25pm to 5:25pm
ttps://iastate.zoom.us/j/99688545064
CS Colloquium : Colloquium - Liyi Li, University of Maryland-College Park, When Quantum Computing Meet Computer Science
Liyi Li
Friday, January 27, 2023 - 4:25pm to 5:25pm
https://iastate.zoom.us/j/91672497998
CS Colloquium : Colloquium - Yang Li, Meta, Resource Management: Cloud and AI
Yang Li
Thursday, January 26, 2023 - 4:25pm to 5:25pm
https://iastate.zoom.us/j/91505134362
CS Colloquium : Colloquium - Nirvan Tyagi, Cornell University, Cryptographic Accountability for Online Privacy
Nirvan Tyagi
Tuesday, January 24, 2023 - 4:25pm to 5:25pm
https://iastate.zoom.us/j/96780791669
CS Colloquium : Colloquium - Xiaoyong (Brian) Yuan, Michigan Technological University, Security and Privacy in the Era of Machine Learning
Xiaoyong (Brian) Yuan
Monday, January 23, 2023 - 4:25pm to 5:25pm
https://iastate.zoom.us/j/96983588961
University Seminar : QIS Seminar: Christopher M. Langlett, Texas A&M
Christopher M. Langlett
Monday, January 23, 2023 - 2:10pm to 3:10pm
In-person: Room 18/19
CS Colloquium : Colloquium - Aravind Thyagarajan, NTT Research, Cryptography For Fast and Scalable Distributed Applications
Aravind Thyagarajan
Friday, January 20, 2023 - 4:25pm to 5:25pm
https://iastate.zoom.us/j/97742259239
CS Colloquium : Colloquium - Samson Zhou, UC Berkeley and Rice University, Theoretical Foundations of Modern Data Science
Samson Zhou
Thursday, January 19, 2023 - 4:25pm to 5:25pm
https://iastate.zoom.us/j/99637745640
CS Colloquium : Colloquium - Rathish Das, University of Liverpool, Algorithmic Foundation of Parallel Paging and Linear Stencil Computation
Rathish Das
Wednesday, January 18, 2023 - 4:25pm to 5:25pm
https://iastate.zoom.us/j/93386056104
CS Colloquium : Colloquium - William Hoza, UC Berkeley, Pseudorandomness and Space Complexity: New Methods, New Insights, and New Milestones
William Hoza
Tuesday, January 17, 2023 - 4:25pm to 5:25pm
https://iastate.zoom.us/j/95561007219
CS Colloquium : Colloquium - Pubali Datta, University of Illinois Urbana-Champaign, Looking Past the Abstractions: Characterizing Information Flow in Real-World Systems
Pubali Datta
Friday, January 13, 2023 - 4:25pm to 5:25pm
https://iastate.zoom.us/j/98118936472
Graduate, Seminar : Ph.D. Research Proficiency Exam: Miaoran Li
Miaoran Li
Thursday, January 5, 2023 - 2:00pm
Graduate, Seminar : Ph.D. Research Proficiency Exam: Trenton Muhr
Trenton Muhr
Tuesday, December 13, 2022 - 1:00pm
Seminar : Industry Lecture: Bayer Crop Science
Bayer Crop Science
Monday, October 10, 2022 - 4:25pm
Communications Building Room 1230
Graduate, Seminar : Distinguished Alumni Chat with Rajesh Parekh, Google
Dr. Rajesh Parekh
Friday, October 7, 2022 - 4:25pm
Atanasoff Hall 223
Graduate, Seminar : Distinguished Alumni Chat with Gagan Chopra, Microsoft
Gagan Chopra
Wednesday, October 5, 2022 - 4:25pm
Morrill Hall 2019