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.

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...

Samuel Markolf is an assistant professor within the Department of Civil and Environmental Engineering at UC Merced, where his research broadly focuses on applying systems-thinking to sustainability and resilience challenges facing cities and infrastructure systems.

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.

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 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...

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.

TBA

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...