Skip to main content

EECS at UC Berkeley

Main menu

AboutToggle submenu for About

AcademicsToggle submenu for Academics

ResearchToggle submenu for Research

PeopleToggle submenu for People
- People Overview
- Directory
- Leadership
- Faculty
- Students
- Staff
- Alumni

ConnectToggle submenu for Connect

Secondary menu

Home
For Students
For Faculty/Staff
Industry
News
Events
Give

Search form

Search

Home
Research
Ph.D. Dissertations
Stavros Tripakis

Ph.D. Dissertations - Stavros Tripakis

Learning and Logic for Formal Synthesis
Benjamin Caulfield [2021]

On the Representation of Distributed Behavior
Christopher Shaver [2016]

Home

About

Academics

Research

People
- Directory
- Leadership
- Faculty
- Staff
- Students
- Alumni

Resources

Industry
- Recruit Students
- Corporate Access

Connect

Home
EE
CS
UC Berkeley
Berkeley Engineering
Accessibility
Nondiscrimination
Privacy
Contact

Berkley EECS on Twitter
Berkeley EECS on Instagram
Berkeley EECS on LinkedIn
Berkeley EECS on YouTube

© 2023 UC Regents

Privacy Policy