h1

h2

h3

h4

h5
h6
This website uses technically necessary cookies to offer the best possible functionality.
Further Information

Skip to Content Skip to Main Navigation Skip to Footer Skip to Search

Logo of UnRAVeL
Search

UnRAVeL – UNcertainty and Randomness in Algorithms, VErification and Logic

  • Deutsch

Faculties and Institutions

You Are Here: Abate Alessandro

RWTH

  • Main page
  • Intranet

Faculties and Institutes

  • Mathematics, Computer Science and Natural SciencesFaculty 1
  • ArchitectureFaculty 2
  • Civil EngineeringFaculty 3
  • Mechanical EngineeringFaculty 4
  • Georesources and Materials EngineeringFaculty 5
  • Electrical Engineering and Information TechnologyFaculty 6
  • Arts and HumanitiesFaculty 7
  • Business and EconomicsFaculty 8
  • MedicineFaculty 10

Find Institute:

Institutions

  • University Library
  • IT Center
  • Athletics and Recreation
  • Central University Administration
  • All Institutions

Navigation

  1. Academics
  2. Research
  3. The Research Training Group

You Are Here:

  1. Home
  2. The Research Training Group
  3. Guest Researchers
  4. Guests 2018
  5. Abate Alessandro
Print
Download digital business card

Sub-Navigation

Guest Researchers
  • Guests 2017
  • Guests 2018
    • You Are Here:Abate Alessandro
  • Guests 2019
  • Guests 2020
  • Guests 2021
  • Guests 2022
  • Guests 2023

Person

Prof. Dr.

Alessandro Abate

Alessandro Abate
University of Oxford

Address

Email: alessandro.abate@cs.ox.ac.uk
Website
 

External Links

  • Guest Talk: Alessandro Abate: Formal verification and learning of complex systems
  • Guest Talk: Alessandro Abate: Certified Reinforcement Learning with Logic Guidance

last updated: 12/05/2021

top

Footer

RWTH

  • RWTH Main Page
  • Faculty of Mathematics, Computer Science and Natural Sciences
  • Business and Economics
  • Faculty of Civil Engineering

Services

  • Contact and Maps
  • Site Credits
  • Site Map
  • Privacy Policy
  • Accessibility Statement
  • Feedback

Social Media

  • facebook
  • Xing

Institutions

  • Department of Computer Science
  • University Library