Cesar Sanchez

Cesar Sanchez is a Professor at the IMDEA Software Institute in Madrid, Spain. His work focuses on Runtime Verification, Formal Methods, and Distributed Systems. He leads the ARVI Cost Action IC1402 (Runtime Verification Beyond Monitoring), a collaborative research initiative exploring advanced monitoring techniques in embedded and distributed systems. His GitHub repositories, such as arvi, document his research contributions to runtime verification frameworks and methodologies. He actively contributes to interdisciplinary projects addressing challenges in system reliability and software correctness.