معرفی
Alceste Scalas is an Associate Professor at the Department of Applied Mathematics and Computer Science, Technical University of Denmark (DTU). His research focuses on formal methods in concurrency, multiparty session types, distributed systems, and programming language theory. Scalas leads the Software Systems Engineering group and actively supervises PhD students in areas such as secure distributed systems and formal verification of communication protocols.
His work integrates theoretical contributions (e.g., process algebra formalisms, Petri net encodings) with practical applications like verified network APIs and automated test synthesis for RESTful systems. Recent projects include COTS (OpenAPI test synthesis) and P4R-Type (verified P4 control plane tools).
Scalas' research has been applied to secure cloud-edge systems (TaRDIS project), hybrid verification methodologies, and SDN protocol validation. He co-develops tools like Effpi for verified message-passing programs and PSTMonitor for session-type monitoring.
He supervises PhD candidates working on secure distributed applications, formal methods in blockchain (Algorand smart contracts), and concurrency patterns in actor systems. His work bridges theoretical computer science with real-world system verification challenges.
