One fine body…
- Copenhagen Area, Capital Region, Denmark, Denmark
- Work Associate Professor at Technical University of Denmark
- Website www.imm.dtu.dk/~albl/
- About I am an Associate Professor in the Department of Applied Mathematics and Computer Science of the Technical University of Denmark (DTU), and a member of the Section on Formal Methods for Safe and Secure Systems. I teach Introduction to Coordination of Distributed Applications, Model Checking, and Computer Science Modelling. I do research on formal approaches to the specification, analysis and development of IT systems. I serve in several international scientific venues as member of the Program Committee.