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