Computer sciences
Today, February 8, 2023
Thursday, February 9, 2023
-
Talk: Designing Formally Correct Intermittent Systems
Milijana Surbatovich, PhD Candidate, Electrical and Computer Engineering, Carnegie Mellon University
4-5 p.m.
1240 Computer Sciences
Monday, February 13, 2023
-
Talk: Securing Systems on Top of Insecure Hardware
Andrew Kwong: Ph.D. Candidate, University of Michigan, Computer Science and Engineering Department
4-5 p.m.
1240 Computer Sciences
Tuesday, February 14, 2023
-
Talk: E-Graphs for Next-Gen Programming Language Tools
Max Willsey: Post-doc, Computer Science, University of Washington
4-5 p.m.
1240 Computer Sciences
Wednesday, February 15, 2023
Thursday, February 16, 2023
-
Talk: Software Security Challenges in the Era of Modern Hardware
Riccardo Paccagnella: PhD Candidate, Computer Science, University of Illinois Urbana-Champaign
4-5 p.m.
1240 Computer Sciences
Monday, February 20, 2023
-
Talk: Distance-Estimation in Modern Graphs: Algorithms and Impossibility
Nicole Wein: Simons Postdoctoral Leader, DIMACS, Rutgers University; Ph.D. from MIT
4-5 p.m.
1240 Computer Sciences
Thursday, March 23, 2023
-
NSF Presentation on Technology, Innovation and Partnership (TIP)
Featuring Dr Gianchandani, Assistant Director of NSF Directorate for TIP
11 a.m.-12:30 p.m.
DeLuca Forum, Discovery Building