Benjamin Horowitz

Researcher, Workday
Joined
May 2025

Names

Benjamin Horowitz (Preferred)

Emails

****@berkeley.edu (Confirmed)
, 
****@gmail.com (Confirmed)

Personal Links

Career & Education History

Researcher
Workday (workday.com)
2015 – Present
Researcher
National Ignition Facility, Lawrence Livermore National Labs (llnl.gov)
2003 – 2013
PhD student
Computer Science, University of California, Berkeley (berkeley.edu)
1997 – 2003
Undergrad student
Computer Science, University of Massachusetts at Amherst (umass.edu)
1995 – 1997
Undergrad student
Philosophy, Wesleyan University (wesleyan.edu)
1989 – 1994

Advisors, Relations & Conflicts

PhD Advisor
Thomas A. Henzinger
1997 – 2003
Coauthor
S. Shankar Sastry
1997 – 2003

Expertise

Formal methods
1997 – 2003
Real-time systems
1997 – 2003

Publications

Co-Authors