Dissertation Talk: Learning and Logic for Formal Synthesis

  • Benjamin Caulfield
This dissertation talk presents further developments in the theory behind exact active learning, formal synthesis, and their intersection. Results presented will include developments in the theory of modular learning and the use of costs in formal synthesis.

CCB Seminar: Sequence homology searches - the future of deciphering the past

Zoom Seminar
  • Dr. Sean Eddy, Professor, Molecular and Cellular Biology, Harvard University
Abstract: Computational recognition of distant sequence homology is a key to studying ancient events in molecular evolution. The better our sequence analysis methods are, the deeper in evolutionary time we can see. A major aim in the field is to improve the resolution of homology recognition methods by building increasingly realistic, complex, parameter-rich models. I will describe current...

Applications of Data Science and AI to Equity, Race, and Inclusion in Mobility and Transportation: On the Ground Look at Implementing Equity in City Transportation Planning

Zoom webinar
  • Ramses Madaou, Division Manager, Planning, Policy, and Sustainability; Department of Transportation; City of San Jose
This spring, Berkeley's Institute of Transportation Studies is hosting a Zoom seminar series on "Applications of Data Science and AI to Equity, Race, and Inclusion in Mobility and Transportation." This topic brings a unique and innovative perspective to existing discussions around diversity, equity, and inclusion.

EECS Colloquium: When the Lab Goes Loco

Zoom Webinar
  • Mark Yim, Professor of Mechanical Engineering and Director of the GRASP Lab, University of Pennsylvania
While modular reconfigurable robots hold many promises for being adaptable for planetary exploration, they tend to be expensive. A theme has emerged in my lab - that of aiming for low-cost (loco) systems. This talk will present some general principles towards designing low cost systems while also presenting specific examples of novel devices ranging from mechatronic components (sensors and...

Cal Civic Hacks presents...Ideathon 2021: Interdisciplinary solutions. Problems that matter.

Cal Civic Hacks presents... Ideathon 2021 Interested in applying technology to solve real-world problems facing real-life people right now? Have we got an event for you. UC Berkeley fosters incredible talent across various disciplines - engineering, public policy, city planning, business. But these communities are siloed. Together, the knowledge and skills we hold can solve critical...
Registration for the Women in Tech Initiative at the University of California’s flagship event is now open! About this Event Now in its fifth year, this major annual event will showcase issues, sector opportunities, and the career paths of experts in human-computer interaction (HCI). Now entering a new era, human-computer interaction is a multidisciplinary field that combines new technology in...

Applications of Data Science and AI to Equity, Race, and Inclusion in Mobility and Transportation: Race, Equity, Technology and the City of Minneapolis and The Future of Face Recognition - Mitigating Bias to Get It Right

  • Elizabeth M. Adams, AI Ethics Advisor
  • Doug Aley, CEO
In this two-presenter seminar, Race & Tech Fellow at Stanford University’s Institute of Human-Centered AI Elizabeth M. Adams will discuss Race, Equity, Technology & the City of Minneapolis and Paravision's CEO Doug Aley will discuss The Future of Face Recognition - Mitigating Bias to Get It Right, followed by a joint Q & A session.

EECS Colloquium: Balancing covariates in randomized experiments using the Gram–Schmidt walk

Zoom Webinar
  • Daniel Spielman, Yale
Randomized Controlled Trials (RCTs) are the principal way we estimate the effectiveness of new medications, procedures, policies, and interventions. In a typical medical trial, the subjects are divided into two (or more) groups. One group of subjects is given the new medicine, and the other is given a placebo or old medicine. Randomization is used to ensure that these test and control groups are...