Alberto Lluch Lafuente

Alberto Lluch Lafuente is a Professor in the Department of Applied Mathematics and Computer Science at the Technical University of Denmark (DTU). He leads research in formal methods, cybersecurity, and software systems engineering. His work emphasizes model checking, blockchain protocols, and security risk modeling. He has supervised multiple PhD students and serves as Editor-in-Chief of the Journal of Logical and Algebraic Methods in Programming.

Research interests include formal verification, attack-defense trees, distributed systems, and quantitative analysis of adaptive systems. Recent efforts focus on process mining for security analysis, liquidity-saving protocols in DeFi, and human-centered AI in software engineering.

• Key Projects: IoT security risk modeling, formal analysis of DeFi protocols, reduction techniques for biological systems
• Tools Developed: ERODE (Boolean network reduction), QFLan (quantitative analysis tool)

His interdisciplinary work bridges theoretical computer science with practical applications in finance, cybersecurity, and distributed systems.