Matteo Trentin

Matteo Trentin is a PhD student at the Department of Mathematics and Computer Science (University of Southern Denmark), focusing on Artificial Intelligence, Cybersecurity, and Programming Languages. His research intersects Serverless Computing, Resource Allocation, and Static Program Analysis, with a strong emphasis on Scheduling Policy and Domain-Specific Languages.

• Current affiliation: Department of Mathematics and Computer Science, University of Southern Denmark
• Research themes: Cloud systems, runtime environments, cost-aware scheduling, and formal methods
• Collaborations: International work with researchers in software architecture and formal verification

His publications address topology-aware allocation, affinity-aware function scheduling, and formal specification of FaaS policies, often leveraging domain-specific languages and static analysis to optimize serverless platforms. Key trends include cloud resource management, operational semantics, and service platform engineering.