معرفی
César Sánchez is a Full Professor at the IMDEA Software Institute, where he has been since 2007. He earned his Ph.D. in Computer Science (2007) and M.S. in Computer Science (2001) from Stanford University, and a M.Eng in Telecommunication Engineering from Universidad Politécnica de Madrid (1998). His academic career includes promotions to Associate Professor in 2012 and Full Professor in 2023.
Research Interests
- Formal Methods
- Temporal Logics for Hyperproperties
- Reactive Synthesis Modulo Theories
- Blockchain and Smart Contract Reasoning
- Runtime Verification of Real-Time Systems
- Neurosymbolic Formal Methods
His publications span 15 recent works (2023-2025) focusing on formal verification of systems using temporal logics, reactive synthesis, and blockchain applications. Key trends include asynchronous hyperproperty analysis, anticipatory monitoring, and shield synthesis for DRL and blockchain systems.
Service & Collaboration
- Program Committee Member: CAV'25, ATVA'24, TACAS'24, DAPPS'23
- Collaborations with institutions like Stanford, IMDEA, and Nature
César actively recruits researchers (interns, PhD students, postdocs) for his group at IMDEA, focusing on hyperproperties, reactive synthesis, and blockchain verification.
