Computer sciences
Today, February 6, 2025
Friday, February 7, 2025
-
Talk: Toward Flexible and Effective Human-Robot Teaming
Mike Hagenow: Postdoc, Department of Aeronautics and Astronautics and CSAIL, MIT
12-1 p.m.
1240 Computer Sciences
Monday, February 10, 2025
-
Talk: Support Programming Learning and Development at Scale
Yan Chen: Assistant Professor, Computer Science, Virginia Tech
12-1 p.m.
1240 Computer Sciences
Tuesday, February 11, 2025
-
Building and Using Containers for Large-scale Computing
Learn about building and using your software environment with containers!
10:30 a.m.-12 p.m.
Researcher's Link, Discovery Building
Also offered online -
Talk: Deadlock and Resource Leak Free Languages
Jules Jacobs: Postdoc, Cornell University (PhD, Radboud University)
12-1 p.m.
1240 Computer Sciences
Wednesday, February 12, 2025
Thursday, February 13, 2025
-
Talk: Building the Tools to Program a Quantum Computer
Charles Yuan: Ph.D. Candidate, MIT CSAIL
12-1 p.m.
1240 Computer Sciences
Friday, February 14, 2025
-
Talk: Property-Based Testing for the People
Harry Goldstein: Victor Basili Postdoc, University of Maryland, and (joint) Postdoc, University of Pennsylvania
12-1 p.m.
1240 Computer Sciences
Monday, February 17, 2025
-
Talk: Reasoning in the Wild
Wenting Zhao: Ph.D. Candidate, Computer Science, Cornell University
12-1 p.m.
1240 Computer Sciences
Tuesday, February 18, 2025
Wednesday, February 19, 2025
Thursday, February 20, 2025
Friday, February 21, 2025
-
Talk: Controlling Language Models
Xiang (Lisa) Li: PhD Candidate, Stanford University
12-1 p.m.
1240 Computer Sciences
Monday, February 24, 2025
-
Talk: Sound and Automated Deductive Verifiers for Advanced Properties
Thibault Dardinier: PhD Candidate, Programming Methodology Group, ETH Zurich
12-1 p.m.
1240 Computer Sciences