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 FreiburgIng., Computer Science, Ing., Computer Science at EHUHigh School Diploma, High School, High School Diploma, High School at Colegio Alemán San Alberto Magno
Spanish, Italian, German, English, Basque, Danish
Github Skills (7)
python10
distributed-computing10
java8
dotnet7
go4
data-structures4
golang2
Programming languages (8)
Github contributions (5)
DisCoTec/discotec.github.io
Jul 2018 - Jul 2020
The website of DisCoTec - the International Federated Conference on Distributed Computing Techniques
Contributions:283 commits, 277 pushes, 1 comment in 2 years
distributed-computing
pSpaces/dotSpace-Examples
Nov 2017 - Jan 2023
Programming with Spaces in .NET (Examples)
Contributions:1 review, 4 commits, 1 PR in 5 years 2 months
dotnet
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.