Home

Calendar

Filter

Search
FEATURED EVENTS
FILTER EVENTS Clear all filters
FILTER RESULTS
Feb 3, 2025

Feb 3, 2025

3:30 PM - 4:30 PM

Save to My Events

Speaker Joe Calandrino Abstract Impact is one of the key factors for judging the value of research. Impact can take many forms, but research that informs public policy or advances policy objectives can have particularly significant and direct real-world influence. Despite that, computer science research findings and methods that offer value from a policy perspective may not be obvious to researchers. Through the lens of research projects on topics from review moderation to mobile app priv...

Feb 5, 2025

Feb 5, 2025

3:30 PM - 4:30 PM

Save to My Events

Speaker Taylor Olson Abstract Artificially intelligent agents are now part of our daily lives, bringing both benefits and potential risks. For example, unguarded chatbots can spread harmful content, and virtual assistants can be intrusive. To safely integrate these agents into society, they must understand and follow social and moral norms. Progress on this front has been made in the field of Machine Ethics through classical reasoning techniques and modern learning models. However, a unif...

Feb 7, 2025

Feb 7, 2025

3:30 PM - 4:30 PM

Save to My Events

Speaker Vinay Koshy Abstract Online communities are core to our digital lives. We mingle on social media like Reddit and Discord, share knowledge through platforms like StackExchange and Wikipedia, and use open-source software created by developer communities. Most online communities rely on content moderation policies to dictate the boundaries of acceptable speech. Yet community members have little say in how these moderation policies are created or enforced. In this talk, I will discuss...

Feb 10, 2025

Feb 10, 2025

3:30 PM - 4:30 PM

Save to My Events

Speaker Ananya Joshi Abstract Artificially intelligent agents are now part of our daily lives, bringing both benefits and potential risks. For example, unguarded chatbots can spread harmful content, and virtual assistants can be As systems in critical domains become increasingly complex, effective data monitoring is essential for detecting real-time faults and system changes. Traditional methods, however, often rely on unrealistic assumptions, such as consistent, high-fidelity data, unl...

Feb 14, 2025

Feb 14, 2025

3:30 PM - 4:30 PM

Save to My Events

Speaker McKenna McCall Abstract Formal methods research involves using mathematical techniques to specify and verify properties of software and hardware systems. In security and privacy research, formal methods can lead to strong, provable security guarantees—and typically leave questions about how humans might interact with these systems unanswered. Indeed, formal methods and usable security are traditionally distinct areas of research. In this talk, I will demonstrate how techniques fro...