Carlo Angiuli

Carlo Angiuli is affiliated with the Max Planck Institute for Software Systems (MPI-SWS), where he holds the role of Researcher in the Department of Algorithms, Theory & Logic. His research focuses on foundational computer science areas including programming languages, formal verification, and theoretical aspects of distributed systems. He contributes to advancing methodologies for ensuring correctness in complex software systems, particularly in contexts like cyber-physical systems and security.

His work bridges theoretical computer science with practical applications in distributed networks and mobile systems. While specific awards or grants are not detailed in the provided text, his involvement with MPI-SWS underscores a commitment to cutting-edge research in these domains.