Events

Filter by:

Limit to events where the first date of the event:
Date range
Limit to events where the first date of the event:
Limit to events where the title matches:
Limit to events where the type is one or more of:
Limit to events tagged with one or more of:
Limit to events where the audience is one or more of:

Please note: This seminar will take place in DC 1304 and virtually over Zoom.

Jingbo Wang, PhD candidate
Department of Computer Science, University of Southern California

Security, robustness, and fairness are all important non-functional properties of critical systems, such as software applications in autonomous driving, healthcare, and finance. Unlike functional correctness, which has been the subject of extensive research, techniques that can formally guarantee these non-functional properties are still severely lacking.

Please note: This seminar will take place in DC 1304 and virtually over Zoom.

Nicole Wein, Simons Postdoctoral Leader
DIMACS, Rutgers University

The size and complexity of today’s graphs present challenges that necessitate the discovery of new algorithms. One central area of research in this endeavor is computing and estimating distances in graphs. In this talk I will discuss two fundamental families of distance problems in the context of modern graphs: Diameter/Radius/Eccentricities and Hopsets/Shortcut Sets.

Please note: This PhD seminar will take place online.

Yuan Chen, PhD candidate
David R. Cheriton School of Computer Science

Supervisors: Professors Daniel Vogel, Géry Casiez, Sylvain Malacria