DTU.dk
Departments and Centers
Departments and Centres
DTU Aqua
DTU Bioengineering
DTU Biosustain
DTU Chemical Engineering
DTU Chemistry
DTU Civil Engineering
DTU Compute
DTU Electrical Engineering
DTU Energy
DTU Engineering Technology
DTU Entrepreneurship
DTU Environment
DTU National Food Institute
DTU Electro
DTU Health Tech
DTU Management
DTU Mechanical Engineering
DTU Nanolab
DTU Physics
DTU Skylab
DTU Space
DTU Wind and Energy Systems
Research groups
Research groups
Shortcuts
Phonebook
Directions/map
Supplier information (CVR and EAN)
Course base
Job and Career
DTU Alumni
DTU Inside
(intranet)
Webshop
DTU Library
DTU Orbit (Research database)
Contact
Dansk
DTU Compute
Persons
Publications
Projects
Teaching
PhD
Research
Continuing Education
Cooperation
Employees
About us
Front page
Research
Research sections
Formal Methods
Group members
Alberto Lluch Lafuente
Front page
Research
Research sections
Formal Methods
Group members
Alberto Lluch Lafuente
Share on Facebook
Share on Twitter
Share on Linkedin
Algorithms, Logic and Graphs
Cognitive Systems
Cybersecurity Engineering
Dynamical Systems
Embedded Systems Engineering
Mathematics
Scientific Computing
Software Systems Engineering
Statistics and Data Analysis
Visual Computing
Alberto Lluch Lafuente
See personal
homepage
.
Updated by
Alberto Lluch Lafuente
on 25 September 2018
Contact
Alberto Lluch Lafuente
Head of Section, Professor
DTU Compute
+45 45 25 37 36
albl@dtu.dk
Updated by
Alberto Lluch Lafuente
on 25 September 2018