Ph.D. Computer Science, University of California, Berkeley

Advised by Sanjit A. Seshia

M.Sc. Computer Science, University of Toronto

Advised by Marsha Chechik

B.Sc. Math and Computer Science, Mount Allison University

First Class Honours with Distinction

Amazon Research Award (with Sanjit A. Seshia as PI)

Scalable Verification of Secure Distributed Services through Synthesis and Learning

Guest Lectures, UC Berkeley

EECS 219C: Formal Methods: Specification, Verification, and Synthesis

• Abstraction and Verification by Reduction to Synthesis
• Interpolation-Based Model Checking and IC3
• Satisfiability Modulo Theories - Part II: Theories and Theory Solvers
• Syntax-Guided Synthesis

CS 164: Programming Languages and Compilers

• Regular Expressions and Tokenization

Graduate Student Instructor, UC Berkeley

CS 164: Programming Languages and Compilers (2)

Teaching Assistant, University of Toronto

CSC 324: Principles of Programming Languages

CSC 384: Introduction to Artificial Intelligence (2)

CSC 410: Software Testing and Verification (2)

Teaching Assistant, Mount Allison University

COMP 1631: Introduction to Computer Science

UC Berkeley Undergraduate Students

Amar Shah (ACM SRC Grand Finals Runner-up), Annamira O’Toole, Selina Kim, Nikhil Pimpalkhare (co-mentored with Elizabeth Polgreen)

MiraCosta College Students

Haley Lepe (NDiSTEM ’23 Presentation Award Winner)

City College of San Francisco Students

Isaac Chan (co-mentored with Lauren Pick)

University of Toronto Undergraduate Students

Murad Akhundov (POPL ’20 USRC Winner), Lukas Finnbarr O’Callahan, Alex Tough

Citizen Clinic

Worked with indigenous land rights activists to help them defend themselves and their communities from cyber threats.

Be A Scientist

Mentored a group of four seventh grade students in Spanish. Students designed and conducted their own scientific experiment over a six-week-long lab.

Bay Area Scientists in Schools (BASIS)

Developed a new bilingual “You Belong” lesson on Ynés Mexía’s research. Lesson delivered to schools serving low-income and historically marginalized communities.

Outstanding Graduate Student Peer Mentor Award (UC Berkeley)

Four students selected out of ~12000 graduate students. Honors “students who have shown an outstanding commitment to mentoring, advising, and generally supporting either undergraduate students or their fellow graduate students.”

Demetri Angelakos Memorial Achievement Award (UC Berkeley EECS)

Seven students selected out of ~700 EECS graduate students. “The purpose of the award is to recognize students who, in addition to conducting research, unselfishly take the time to help colleagues beyond the normal cooperation existing between fellow students.”

Outstanding Teaching Assistant Award (UC Berkeley EECS)

“We invite the faculty to nominate approximately the top nine percent of our GSIs and TAs from Spring, Summer and Fall semesters of the previous calendar year. From these, our Student Awards committee selects a subset for our departmental Outstanding TA awards. The remainder will be considered for nomination for the campus award.”

Outstanding Graduate Student Instructor Award (UC Berkeley)

Honors “UC Berkeley GSIs each year for their outstanding work in teaching on the Berkeley campus.”

Qualcomm Innovation Fellowship

16 proposals selected out of >100. For “… recognizing, rewarding, and mentoring PhD and Masters students across a broad range of technical research, based on Qualcomm’s core values of innovation, execution, and teamwork.”