Alberto Lluch Lafuente

Registered user since Thu 25 Apr 2019

Name:Alberto Lluch Lafuente
Country:Denmark
Affiliation:Technical University of Denmark
Research interests:Formal Methods, Distributed and Concurrent System, Safety and Security, Software Engineering, Artificial Intelligence

Contributions

ACSOS 2021 PC Member in Program Committee within the Main Track-track
SPIN 2021 Technical University of Denmark in Programming Committee within the SPIN-track
SPIN 2019 Committee Member in Program Committee within the 26th International SPIN Symposium on Model Checking of Software-track