Alberto Lafuente
Head Of Section at DTU - Technical University of Denmark
Copenhagen, Capital Region of Denmark
Summary
👤
Senior🎓
Top SchoolAlberto Lafuente is a seasoned academic leader and Full Professor of Computer Science who has led the Software Systems Engineering section at DTU Compute since 2018, overseeing a team of researchers focused on formal methods, software engineering, security and AI. With a nine-year record of senior experience and a research trajectory stretching from postdoctoral work in Pisa to assistant professorships in Italy and Germany, he blends deep theoretical expertise—model checking, formal methods for distributed and service-oriented systems—with practical software engineering insight gained early in industry. His work is characterized by supervising PhD research, teaching at the doctoral level, and translating formal techniques into robust approaches for dynamic reconfiguration and secure systems. Based in Copenhagen, he maintains a strong international profile and a knack for bridging rigorous theory with real-world system challenges that inform both research and teaching.
9 years of coding experience
10 years of employment as a software developer
PhD Computer Science, PhD Computer Science at The University of FreiburgHigh School Diploma High School, High School Diploma High School at Colegio Alemán San Alberto MagnoIng. Computer Science, Ing. Computer Science at Universidad del País Vasco/Euskal Herriko Unibertsitatea
Spanish, Italian, German, English, Basque, Danish
Github Skills (8)
distributed-computing10
federated9
python9
java8
csharp7
dotnet6
data-structures4
golang3
Programming languages (6)
Github contributions (5)
pSpaces/jSpace-examples
Jan 2018 - Jan 2020
Examples of Programming with Spaces in Java
Contributions:22 commits, 1 PR, 20 pushes in 2 years
spacesjava
pSpaces/goSpace-examples
Oct 2017 - Apr 2018
Contributions:42 commits, 1 PR, 40 pushes in 5 months
golangdata-structuresspaces
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.