Skip to Content

Search for:

For Students
For Faculty/Staff
Industry
News
Events
Give

Search for:

About
About
- About Overview
- History
- Diversity
- Visiting
- By the Numbers
- Special Events
- The Department of Electrical Engineering and Computer Sciences (EECS) at UC Berkeley offers one of the strongest research and instructional programs in this field anywhere in the world.
  Blog
Academics
Academics
Research
Research
- Research Overview
- Areas
- Centers & Labs
- Colloquium
- BEARS Symposium
- Technical Reports
- Ph.D. Dissertations
- Research is the foundation of Berkeley EECS. Faculty, students, and staff work together on cutting-edge projects that cross disciplinary boundaries to improve everyday life and make a difference.
  EECS Research
People
People
Connect
Connect
- Connect Overview
- Support EECS
- K-12 Outreach
- Student Affairs
- Faculty Positions
- Staff Positions
- Contact
- Consider reaching out for a conversation, attending a department seminar or conference, viewing a lecture on any one of our public channels, or supporting us via a gift to the university. You can help strengthen our dedication to education and outreach, solidify close ties to industry, and nourish a supportive and inclusive culture.
  Contact us

Home /Research /Technical Reports /Venkatesan Guruswami

Technical Reports - Venkatesan Guruswami

Faithful Auto-formalization for Education (EECS-2026-193)
Arnav Mehta

About
People
- Directory
- Leadership
- Faculty
- Staff
- Students
- Alumni
Connect
Academics
Resources
Research
Industry
- Recruit Students
- Corporate Access

Learn more about the Campaign for Berkeley and Graduate Fellowships.

Give to EECS

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

EE
CS
UC Berkeley
Berkeley Engineering
CDSS
Accessibility
Nondiscrimination
Privacy
Contact

© 2023 UC Regents