Alessandro Abate

alt text 

Professor of Verification and Control

Department of Computer Science
University of Oxford

Research Group

Ongoing and Recent Roles

  • PC Member

    • 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

  • Organisation

    • HSCC conference series, QEST conference series, ADHS conferences, HSB workshops, DHS workshops, IEEE CSS Tech Comm on ‘‘Hybrid Systems’’

Older News