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.

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!

• Audrey and Penelope the Penguin for:
  • Seattle monorail ticket and Sound Transit ticket
  • Portland Hop card
  • Chicago Ventra paper ticket and Metra ticket
  • Dayton RTA Tapp card
  • Salt Lake City UTA ticket
  • San Jose VTA ticket
  • and her mom for the CMH airport pin
• Esme for the Hong Kong airport express ticket and Taipei EasyCard
• Katalin for the Washington SmartTrip card
• Brian for the Montreal Opus card
• Gene and Nancy for the Netherlands NS rail tickets and the Rav-Kav
• Zoe for the New York City MetroCard and OMNY card
• Hanson for:
  • Boston CharlieCard
  • Dallas DART ticket
  • Hong Kong MTR ticket and Peak Tram ticket
• Zakkai for the Singapore MRT card
• Elliot for the Paris RER ticket and Berkeley Tilden Park steam train ticket
• Ryan and Catherine for:
  • New Jersey NJ transit ticket
  • Vienna transit ticket
  • Tokyo PASMO card
• Charley for the Istanbul transit card
• Hannah for:
  • Leipzig tram musuem ticket
  • Strasbourg transit ticket
  • Vancouver Compass card
  • Dresden DVB ticket
• Harper for
  • South Korea T-money card
  • London Oyster card
  • Montreal L'Occasionnelle card
  • UK National Rail tickets
  • and her mom for the London Underground pins
• Spencer for the Madrid transit card
• Alan for the Los Angeles Tap cards
• My grandmother for the Washington WMATA paper ticket and London visitor travelcard
• Zechen for the UK National Rail ticket
• Ameen for the Ventra card
• Chris for the BART paper ticket
• Clark for the Budapest transit ticket
• Lucy for the Miami Tri-Rail ticket