In January 2008, I started a tenure track at the Madrid Institute for Advanced Studies in Software Development Technologies (IMDEA-Software).
In May 2009, I was appointed as Research Scientist at the Spanish Council for Scientific Research (CSIC).

Current Areas of Research

Research Interests

My main research interest is the study of mathematically rigorous approaches to reactive systems, and in particular designing software for reactive systems. More general, I am interested in applications of logic to computer science, and formal methods for the design, analysis and verification of systems. In particular:

• Rigorous approaches to distributed systems, real-time systems and embedded systems,
• Understanding and designing concurrent programs and systems,
• Temporal Debugging, offline debugging,
• Formal approaches to event correlation and event-pattern reactive programming languages and systems,
• Automata theory and applications to verification,
• Applications of coinductive techniques to the behavioral definition of reactive systems,
• Lightweight and scalable formal methods for the analysis of systems (such as runtime verification).

Selected Publications

• Alejandro Sánchez and César Sánchez . A Theory of Skiplists with Applications to the Verification of Concurrent Datatypes, In Proceedings of the Third International Symposium on NASA Formal Methods (NFM'11), Pasadena, CA, USA, April 18-20, 2011. vol 6617 of Lecture Notes in Computer Science, pp343--358, Springer 2011. Abstract BiB PS PDF
• Martin Leucker and César Sánchez . Regular Linear-Time Temporal Logic, In Proceedings of the 17th International Symposium on Temporal Representation and Reasoning (TIME'10), Paris, France, 6-8 September 2010. pp3-5, IEEE Computer Society, 2010. Abstract BiB PS PDF
• Alejandro Sánchez and César Sánchez . Decision Procedures for the Temporal Verification of Concurrent Lists, In Proceedings of the 12th International Conference on Formal Engineering Methods (ICFEM'2010) vol. 6447 Lecture Notes in Computer Science, pp74-89, Springer-Verlag, 2010. Abstract BiB PS PDF
• Krishnendu Chaterjee, Luca de Alfaro, Vishwanath Raman and César Sánchez. Analyzing the Impact of Change in Multi-threaded Programs, In Proceedings of the 13th International Conference on Fundamental Approaches to Software Engineering (FASE'2010), vol. 6013 of Lecture Notes in Computer Science, pp293-307. Springer-Verlag, 2010. Abstract BiB PS PDF
• César Sánchez and Martin Leucker. Regular Linear Temporal Logic with Past, In Proceedings of the Eleventh International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'10), vol. 5944 of Lecture Notes of Computer Science, pp295-311. Springer-Verlag, 2010. Abstract BiB PS PDF
• César Sánchez, Matteo Slanina, Henny Sipma and Zohar Manna. The Reaction Algebra: A Formal Language for Event Correlation, In Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, vol 4800 of Lecture Notes in Computer Science, pp586-609. Springer-Verlag, Berlin, 2008. Abstract BiB PS PDF
• Martin Leucker and César Sánchez. Regular Linear Temporal Logic, In Proceedings of The 4th International Colloquium on Theoretical Aspects of Computing (ICTAC'07), vol. 4711 of Lecture Notes in Computer Science, pp291-305. Springer-Verlag, 2007. Abstract BiB PS PDF
• César Sánchez. Deadlock Avoidance for Distributed Real-Time and Embedded Systems, Ph.D. thesis, Stanford University, May 2007. Abstract BiB PS PDF
• César Sánchez, Henny Sipma and Zohar Manna . A Family of Distributed Deadlock Avoidance Protocols and their reachable State Spaces, In Proceedings of the 10th International Conference on Fundamental Approaches to Software Engineering (FASE'07), colocated with ETAPS'07, vol. 4422 of Lecture Notes in Computer Science, pp155-169. Springer-Verlag, 2007. Abstract BiB PS PDF
• César Sánchez, Henny Sipma and Zohar Manna. Generating Efficient Distributed Deadlock Avoidance Controllers, In The Fifteenth International Workshop on Parallel and Distributed Real-Time Systems (WPDRTS 2007), collocated with IPDPS'07 (21st IEEE International Parallel and Distributed Processing Symposium). IEEE Computer Society Press, 2007. Abstract BiB PS PDF
• César Sánchez, Henny Sipma, Christopher D. Gill and Zohar Manna. Distributed Priority Inheritance for Real-Time and Embedded Systems, In Proceedings of the 10th International Conference On Principles Of Distributed Systems (OPODIS'06), vol. 4305 of Lecture Notes in Computer Science, pp110-125. Springer-Verlag, 2006. Abstract BiB PS PDF
• César Sánchez, Henny Sipma, Zohar Manna and Christopher D. Gill. Efficient Distributed Deadlock Avoidance with Liveness Guarantees, In Proceedings of the 6th ACM & IEEE Conference on Embedded Software (EMSOFT'06), pp12-20. ACM Press, 2006. Abstract BiB PS PDF
• César Sánchez and Henny Sipma. Reachable State Spaces of Distributed Deadlock Avoidance Protocols, Technical Report REACT-TR-2006-01, Stanford University, Computer Science Dept., REACT Group, June, 2006. Abstract BiB PS PDF
• Venkita Subramonian, Christopher D. Gill, César Sánchez and Henny Sipma. Reusable Models for Timing and Liveness Analysis of Middleware for Distributed Real-Time Embedded Systems, In Proceedings of the 6th ACM & IEEE Conference on Embedded Software (EMSOFT'06), pp252-261. ACM Press, 2006. Abstract BiB PS PDF
• César Sánchez, Henny Sipma and Zohar Manna. On Efficient Distributed Deadlock Avoidance for Distributed Recursive Processes, Unpublished. Abstract BiB PS PDF
• César Sánchez, Henny Sipma, Zohar Manna, Venkita Subramonian and Christopher D. Gill . On Efficient Distributed Deadlock Avoidance for Real-Time and Embedded Systems, In 20th IEEE Int'l Parallel and Distributed Processing Symposium (IPDPS'06). IEEE Computer Society Press, 2006. Abstract BiB PS PDF
• César Sánchez, Henny Sipma, Venkita Subramonian, Christopher D. Gill, Zohar Manna. Thread Allocation Protocols for Distributed Real-Time and Embedded Systems, In 25th IFIP WG 2.6 Int'l Conf. on Formal Techniques for Networked and Distributed Systems (FORTE'05), vol. 3731 of Lecture Notes in Computer Science. Springer-Verlag, pp 159-173, 2005. Abstract BiB PS PDF
• César Sánchez, Matteo Slanina, Henny Sipma, and Zohar Manna. Expressive Completeness of an Event-Pattern Reactive Programming Language, In Formal Techniques for Networked and Distributed Systems (FORTE'05), vol. 3731 of Lecture Notes in Computer Science. Springer-Verlag, pp 529-532, 2005. Abstract BiB PS PDF. Long Version: PS PDF
• César Sánchez, Henny Sipma, Matteo Slanina, and Zohar Manna. Final Semantics for Event-Pattern Reactive Programs, In Algebra and Coalgebra in Computer Science (CALCO'05), vol 3629 of Lecture Notes in Computer Science, pp364-378. Springer-Verlag, 2005. Abstract BiB PS PDF
• Ben D'Angelo, Sriram Sankaranarayanan, César Sánchez, Will Robinson, Bernd Finkbeiner, Henny Sipma, Sandeep Mehrotra, and Zohar Manna. LOLA: Runtime Monitoring of Synchronous Systems, In Proc. of the 12th International Symposium of Temporal Representation and Reasoning (TIME 2005), pp. 166-174. IEEE Computer Society Press, 2005. Abstract BiB PS PDF
• César Sánchez, Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David L. Dill, and Zohar Manna. Event Correlation: Language and Semantics, In Embedded Software (EMSOFT'03), vol 2855 of Lecture Notes in Computer Science, pp323-339. Springer-Verlag, 2003. Abstract BiB PS PDF
• César Sánchez and Angel Alvarez. A lightweight asynchronous algorithm for causal delivery using extra message insertion, Short paper in DISC 2000, 14th International Symposium on DIStributed Computing, Toledo (Spain), October 2000. Abstract BiB PS PDF

Awards

2007: Juan de la Cierva Scholarship, awarded by the Spanish Ministry of Science and Education, partially funding 3 years as a young post-doctoral researcher.

2006: ACM SIGBED-SIGSOFT Frank Anger Memorial Student Award.

2000: Champion team of (Southwestern European region). 11th place in the World Finals.

1999: La Caixa Graduate Fellowship , funding graduate studies from 1999 to 2001.

1998: Graduation with honors for the graduation thesis Communication with Causal Order in Asynchronous Distributed systems. Thesis advisor: Ángel Álvarez.

1997: IEEE Award for Outstanding Leaderships and Service.

Biographical sketch

I am nowadays a tenure-track researcher (position title "Assistant Research Professor") at the Madrid Institute for Advanced Studies in Software Development Technologies.

In October 2008 I won a competition for a Scientific Researcher position at Consejo Superior de Investigaciones Científicas (CSIC). This is a civil servant position that provides funding for my salary at IMDEA.

During all of 2008 I was partially funded by a Juan de la Cierva Scholarship.

Between May 2007 and December 2007, I was a post-doctoral Scholar at the University of California at Santa Cruz, working with Luca de Alfaro.

In 2007 I received a Ph.D. in Computer Science from Stanford University. My dissertation can be accessed here:

• César Sánchez. Deadlock Avoidance for Distributed Real-Time and Embedded Systems, Ph.D. thesis, Stanford University, May 2007. Abstract BiB PS PDF

In the Summer of 2005 I worked as a research intern for Intel.

In 2001 I received a Masters in Computer Science from Stanford University, specializing in Software Theory and Theoretical Computer Science.

Between 1997 and 1999 I worked for Lucent Technologies (Development Center in Madrid), and the School of Computer Science of UPM, and the department of Mathematics of UPM.

I received a degree in "Ingeniería de Telecomunicación"(6 years degree, BS + MSEE) from the Technical University of Madrid (UPM) in 1998. My graduation thesis Communication with Causal Order in Asynchronous Distributed Systems was awarded with "graduation with honors".

I am member of ACM, IEEE, the Computer Society of IEEE, and Mensa.

Personal

The correct spelling of my name is César Sánchez (but feel free to use Cesar Sanchez). Ting Zhang wrote a Chinese transliteration of my name (卡萨.桑切斯).

Bernhard Egger wrote a transliteration of my name (쎄사르 산체스) to Korean. Bernhard and I are the co-winners of the 2006 ACM SIGBED-SIGSOFT Frank Anger Memorial Student Award.

I am married to Maria Teresa Madrid (마리아 테테사 마드릿)), and we have three children: Martín (말틴) Emma (엠마) and Irene.

We like spending time with friends, traveling, cooking, reading and playing board games. I have also started running recently, but I do not considered myself (yet) a "serious" runner.