Alessandro Abate
Alessandro Abate
Full Professor, University of Oxford
Joined
March 2018
Names
Emails
****@cs.ox.ac.uk (Confirmed)
****@cs.ox.ac.uk (Confirmed)
Personal Links
Career & Education History
Full Professor
University of Oxford (ox.ac.uk)
2012 – Present
Postdoc
Stanford University (stanford.edu)
2007 – 2009
PhD student
Electrical Engineering & Computer Science Department, University of California, Berkeley (eecs.berkeley.edu)
2002 – 2007
Advisors, Relations & Conflicts
Expertise
AI/ML
2012 – Present
Formal Verification
2007 – Present
Control Theory
2002 – Present
Publications
Co-Authors
- Adam Gleave
- Alec Edwards
- Alex Troy Mallen
- Anne-Kathrin Schmuck
- Buck Shlegeris
- Charlie Griffin
- Coen de Visser
- Daniel Jarne Ornia
- Daniel Kroening
- David Krueger
- Dewi Sid William Gould
- Erik Jenner
- Fazl Barez
- Francesco Fabiano
- Frederik Baymler Mathiesen
- Giovanni Maria Occhipinti
- Hosein Hasanbeig
- Jacques Cloete
- Jasper J. van Beers
- Joan Velja
- Joar Max Viktor Skalse
- Jonathon Liu
- Konstantinos Gatsis
- Leon Lang
- Lewis Hammond