Alceste Scalas
Associate Professor In Computer Science
Copenhagen, Capital Region of Denmark
Summary
👤
Senior🎓
Top SchoolAlceste Scalas is an associate professor in computer science at DTU with 14 years of professional experience bridging formal methods and practical software engineering. His research advances the theory of concurrent and distributed systems while intentionally translating those results into techniques and tools that reduce real-world software bugs. He has held research and teaching roles at Imperial College London, Aston University and the Università di Cagliari, and brings hands-on systems experience from industry projects in distributed media processing, embedded automotive software and high-performance technical computing. Notably, he authored an Erlang Foreign Function Interface proposal and has applied functional and concurrent paradigms to large-scale simulation and digital asset architectures. Based in Copenhagen, he combines rigorous academic training (PhD in formal methods) with a pragmatic engineering mindset focused on making provably better software.
14 years of coding experience
17 years of employment as a software developer
Doctor of Philosophy (Ph.D.), Formal methods, concurrent and distributed systems, M.Sc., Computer science, B.Sc., Computer Science, High School Diploma, Scientific studies, Doctor of Philosophy (Ph.D.), Formal methods, concurrent and distributed systems, M.Sc., Computer science, B.Sc., Computer Science, High School Diploma, Scientific studies at Università degli Studi di Cagliari
Università degli Studi di Cagliari
Università degli Studi di Cagliari
Italian, English
Github Skills (12)
model-checking9
scala9
distributed-computing9
message-passing9
dotty9
compiler8
communication-protocol6
verification5
chisel4
javascript3
documentation2
rust1
Programming languages (3)
Github contributions (5)
alcestes/lchannels
Jun 2021 - Jun 2021
Session programming in Scala
Contributions:2 releases, 1 commit, 42 pushes in 1 day
scala
CoPLaWS/coplaws.github.io
May 2024 - Apr 2025
Contributions:4 pushes, 1 branch in 11 months
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.