Emma Boniface

Email:
Office: Evans 1066

I am a PhD candidate in Mathematics at UC Berkeley advised by Wes Holliday. I am interested social choice theory, AI safety, and formal methods. I am involved in the ASPAI project, which is funded under ARIA's Safeguarded AI programme.

In the past, I have made contributions to applied algebraic geometry, symbolic computation, and numerical methods.

me celebrating the 20th birthday of the BARTmobile

Research

Tropical toric maximum likelihood estimation (with Karel Devriendt and Serkan Hoşten)

Trinomials and Deterministic Complexity Limits for Real Solving (with J. Maurice Rojas and Weixun Deng)

Activities

June–August 2024: Visit to Topos Institute (Berkeley, California)

June–July 2023: Visit to Max Planck Institute for Mathematics in the Sciences (Leipzig, Germany)

Teaching

Spring 2025: Math 1B
Graduate Student Instructor (GSI). Instructor: Alexander Paulin

Fall 2024: Math 10A
Graduate Student Instructor (GSI). Instructor: Norman Sheu

Spring 2024: Math 1B
Graduate Student Instructor (GSI). Instructor: Alexander Paulin

Fall 2023: Math 1B
Graduate Student Instructor (GSI). Instructor: Norman Sheu

Transit card collection

Outside of math, I am deeply enthusiastic about trains and public transportation. Here is a photo of my transit card collection!

my transit card collection

Very special thanks to: