News Federico Mora Rocha

We won the QF_Datatypes division of SMT-COMP 2024!

Amar Shah, my mentee, came second at the 2024 ACM SRC Grand Finals!

I won UC Berkeley's Outstanding Graduate Student Peer Mentor Award!

I won the Demetri Angelakos Memorial Achievement Award!

I presented our paper on an eager SMT solver for ADTs at AAAI '24

Haley Lepe, my mentee, won a National Diversity in STEM Conference Presentation Award!

I presented our paper on message chains for distributed system verification at OOPSLA '23

Amar Shah, my mentee, won the PLDI undergraduate student research competition!

I won an Outstanding TA Award!

I passed my qualifying exam!

Elizabeth presented our paper on UCLID5 at CAV '22

I contributed a verification exercise to the Eleventh Summer School on Formal Techniques bootcamp

I won an Outstanding GSI Award!

The African American Museum and Library at Oakland recommends my map!

I presented our paper on Z3str4 at FM '21

Murad presented our paper on verification by gambling on program slices at ATVA '21

Kevin Cheang and I won a Qualcomm Innovation Fellowship!

I presented our paper on online SMT solver selection at SAT '21

Murphy presented our paper on regular expression and length constraint solving at CAV '21

Nick presented our paper on scaling client-specific equivalence checking at ASE '20

I presented our workshop paper on synthesis in UCLID5 at SYNT '20

Check out this interactive visualization of African-American periodicals

We announced the Berkeley Programming Systems Seminar summer schedule

I wrote about using a sequence solver to answer StackOverflow questions about DNA

Murad Akhundov, my mentee, won the POPL undergraduate student research competition!

Check out our interactive visualization of archaeological sites in Colombia