Skip to main content
Home
Home
Admissions
Undergraduate
Graduate
Continuing education
Research
Engage with us
Support for researchers
Using research to engage
Recognition
News & Events
Events
Features
Oxford profiles
Oxford and coronavirus
Filming in Oxford
Find An Expert
About
Organisation
Vice-Chancellor
Facts and figures
Oxford people
Oxford Access
International Oxford
Building Our Future
Jobs
牛津大学
Search
News & Events
Events
Regular events in the University Year
University Events Office
Features
Oxford profiles
Oxford and coronavirus
Filming in Oxford
Find An Expert
Share This
Tweet
Share on Facebook
Share on LinkedIn
Share on Reddit
Home
News & Events
Find An Expert
Keyword listing
Keyword listing for 'Formal verification'
Professor Alessandro Abate
Professor of Verification and Control, Department of Computer Science
Artificial intelligence
Machine learning
Formal verification
Control engineering
Safety-critical systems
Cyber-physical systems
Autonomous Cars
Automotive
Energy systems
Energy systems and networks
AI
Share This
Tweet
Share on Facebook
Share on LinkedIn
Share on Reddit