Alessandro Abate

Professor of Verification and Control Department of Computer Science University of Oxford

Research Group

• Oxford Control and Verification (OXCAV)

• DPhil (PhD) studentships available at Oxford: check out scholarships for either the
  DPhil in Computer Science, or the
  EPSRC Centre for Doctoral Training in ‘‘Autonomous Intelligent Systems’’
  and get in touch with me before the specific deadline, if interested in a position

Ongoing and Recent Roles

• General Chair

  • ADHS18, l4DC24

• Program Committee Chair

  • QEST21, ADHS21, CMSB20, FORMATS17, NSV17, HSCC16, HSB15

• PC Member

  • CDC24, CONCUR24, QEST/FORMATS24, AAMAS24, MTNS24, ICCPS24, TACAS24, EUMAS23, CDC23, QEST23, FORMATS23, ICCPS23, HSC23, ICCPS22, QEST22, FORMATS22, ICCPS21, HSCC21, CMSB21, MTNS21, CONCUR20, HSCC20, ICCPS20, HSB20, GandALF20, RTEST20, CDC19, FORMATS19, CMSB19, QEST19, HSB19, HSCC19, CDC18, QEST18, CMSB18, RTEST18, UKACC18, QEST17, QAPL17, FESCA17, SOFSEM17, HSCC17, HSB16, QEST16, CONCUR16, QAPL16, FESCA16, MED16, PlanHS16, WODES16, MTNS16, ATVA15, QEST15, ICCPS15, DCDS15, ADHS15, EMT15, UNCECOMP15, FMi15, AANS14, QEST14, MTNS14, HAS14, HSCC14, ICCPS14, ICPSNA13, DCDS13, MED13, HSCC13, ADHS12, MED12, HSCC12, DCDS11, MED11, HSCC10

• Steering Committee Member

  • HSCC conference series, ADHS conferences, HSB workshops, QEST conference series (past)

• Associate Editorship

  • Automatica

  • Acta Informatica

  • Journal of Nonlinear Analysis: Hybrid Systems (past)

• Invited Editorship

  • ACM Transactions on Modelling and Computer Simulation, TOMACS

  • Information and Computation

  • Journal of Nonlinear Analysis: Hybrid Systems

  • Leibniz Transactions on Embedded Systems, LITES

• Editorial Board Member

  • Oxford Open Energy Journal

• Faculty Fellow at the Alan Turing Institute, London

• IEEE Fellow, Control Systems Society, class of 2024

Older News