Alberto Lluch Lafuente

Alberto Lluch Lafuente

Head of Section, Professor

DTU COMPUTE
Department of Applied Mathematics and Computer Science

Technical University of Denmark

Richard Petersens Plads

Building 321, room 012

2800 Kgs. Lyngby

Home page

Request a vCard via e-mail.

LoadingText

Courses

Computer Science Modelling

Responsible:  Alberto Lluch Lafuente; Christoph Matheja

Formal Languages and Semantics

Responsible:  Alberto Lluch Lafuente; Christoph Matheja

Introduction to Coordination in Distributed Applications

Responsible:  Alberto Lluch Lafuente; Alceste Scalas

Program Analysis

Responsible:  Christian Gram Kalhauge; Alberto Lluch Lafuente

Model Checking

Responsible:  Alberto Lluch Lafuente; Andrey Rivkin

Advanced Analysis Techniques

Responsible:  Alberto Lluch Lafuente