Tiago Rodrigues de Magalhães

Tiago Rodrigues de Magalhães is a Researcher at the Max Planck Institute for Software Systems (MPI-SWS), focusing on foundational and applied research in computer science. His work bridges theoretical computer science with practical challenges in system design.

Research interests include Algorithms, Theory & Logic, Programming Languages & Verification, Cyber-Physical Systems, Distributed Systems, Security & Privacy, and Social & Information Systems. He contributes to advancing methodologies for ensuring correctness and robustness in complex software and hardware systems.

No specific articles, awards, or students are listed in the provided text, but his affiliation with MPI-SWS suggests involvement in cutting-edge interdisciplinary research.