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 (16)
dotty10
distributed-computing10
scala-native9
scala9
federated9
message-passing8
compiler8
generic-programming8
coq7
smt7
metaprogramming7
theorem-proving6
monitor5
rust5
protocols5
Programming languages (3)
Github contributions (5)
alcestes/lchannels
Jun 2021 - Jun 2021
Contributions:2 releases, 1 commit, 42 pushes in 1 day
alcestes/abcd-website
Dec 2016 - Sep 2017
Contributions:3 pushes in 9 months
project-websitejavascriptabcd
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.