ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Alessandro Aldini

Registered user since Sat 27 Oct 2018

Name: Alessandro Aldini

Bio: Alessandro Aldini is Associate Professor in Computer Science at the University of Urbino “Carlo Bo”. His current research interests are focused on the study and application of automated methodologies for the design and verification of computer and network systems, with an emphasis on foundations of security, trust, and performance analysis and design.

Country: Italy

Affiliation: University of Urbino

Personal website: http://www.sti.uniurb.it/aldini/

Research interests: Concurrency Theory, Foundations of Performance, Security, and Trust Analysis and Design

Contributions

QAPL 2019Co-chair in Organizing Committee within the QAPL-track
Steering Committee Member in Steering Committee within the QAPL-track
Show activities from other conferences

ETAPS 2019-profile
View general profile