Afonso Tinoco dos Santos

Afonso Tinoco dos Santos is a researcher at the Max Planck Institute for Software Systems (MPI-SWS), focusing on interdisciplinary areas within computer science. His research interests span Algorithms, Theory & Logic, Programming Languages & Verification, Cyber-Physical Systems, and Security & Privacy. He actively contributes to advancing distributed systems and social information systems.

No specific educational background, awards, or advising details are explicitly mentioned in the provided text. His professional activities align with the institute's focus on cutting-edge theoretical and applied research in software systems.