Luca Bortolussi - ETAPS 2019

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Registered user since Sun 28 Oct 2018

Name:Luca Bortolussi

Country:Italy

Affiliation:University of Trieste

Personal website: https://bortolussi.dmg.units.it/

Contributions

2019

HSB

Committee Member in Program Committee within the HSB-track

QAPL

Steering Committee Member in Steering Committee within the QAPL-track

SynCoP

Parametric Verification and Synthesis based on Gaussian Processes

Show activities from other conferences

ETAPS 2019-profile
View general profile