One fine body…
- RICHARD PETERSENS PLADS BUILDING 324
- Copenhagen Area, Capital Region, Denmark, Denmark
- Work Associate Professor at Technical University of Denmark
- Website www.albertolluch.com
- Phone +4531241447
- About I am an Associate Professor in the Department of Applied Mathematics and Computer Science of the Technical University of Denmark (DTU), a member of the Language Based Technology Section, and a teacher of the MSc course on Model Checking. My expertise are formal approaches to the specification, analysis and development of IT systems, in particular those whose main features are concurrency, distribution, service orientation, autonomy, self-*. My research focuses on the development of novel methodologies, specification mechanisms, analysis algorithms and optimisation techniques, mostly based on the use of formal methods, logics and graphs. I have also a lot of experience in international r...
- Follow Following