César Sánchez
César Sánchez
Ph.D. Stanford University, 2007
Associate Research Professor
Dual position: Scientific Researcher
Institute for Information Security, CSIC

In January 2008, I became a researcher at 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).
In November 2013, I was promoted to Associate Research Professor at IMDEA Software Institute.

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:

Students

I am currently supervising the following students:

Selected Publications

  1. NEW: Laura Bozzelli and César Sánchez. Foundations of Boolean Stream Runtime Verification (Extended Version), Extended version of the paper to appear in RV'14 (2014). Abstract BiB PS PDF
  2. NEW: Julian Samborski-Forlese and César Sánchez. Alternating Automata Semantic Constructions for the Bounded Model Checking of Regular Linear Temporal Logic (Extended Version), Submitted Abstract BiB PS PDF
  3. Laura Bozzelli and César Sánchez. Visibly Rational Expressions, In Acta Informatica 51(1): 25-49 (2014) Abstract BiB PS PDF
  4. Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe and César Sánchez. Temporal Logics for Hyperproperties, In Proceedings of the Third Int'l Conf on Principles of Security and Trust (POST 2014), vol 8414 of LNCS, pp 265-284, Springer, 2014. Abstract BiB PS PDF
  5. Bernd Finkbeiner, Markus N. Rabe and César Sánchez. A Temporal Logic for Hyperproperties, arXiv preprint arXiv:1306.6657 Abstract BiB PS PDF
  6. César Sánchez and Alejandro Sánchez. A Decidable Theory of Skiplists of Unbounded Size and Arbitrary Height, arXiv preprint arXiv:1301.4372 Abstract BiB PS PDF
  7. Mark Marron, César Sánchez, Zhendong Su, and Manuel Fähndrich. Abstracting Runtime Heaps for Program Understanding, In IEEE Transactions in Software Engineering 39(6): 774-786 (2013) Abstract BiB PS PDF
  8. Maria-Cristina Marinescu and César Sánchez. Fusing Statecharts and Java, In ACM Transactions in Embedded Computing Systems, vol 12, number 1s, pages 45:1-45:21, ACM, 2013. Abstract BiB PS PDF
  9. Laura Bozzelli and César Sánchez. Visibly Rational Expressions, In IARCS Proceedings of the Annual Conference on Foundations of Software Technology and Theoretical Computer Science, (FSTTCS 2012) December 15-17, 2012, Hyderabad, India. Abstract BiB PS PDF
  10. César Sánchez and Julian Samborski-Forlese. How to Efficiently Translate Extensions of Temporal Logics into Alternating Automata, In Proceedings of the 9th International Conference on Theoretical Aspects of Computing (ICTAC 2012), Bangalore, India, September 24-27, vol 7521 of LNCS, pp30-45, Springer, 2012. Abstract BiB PS PDF
  11. César Sánchez and Julian Samborski-Forlese. Efficient Regular Linear Temporal Logic using Dualization and Stratification, In Proceedings of the 19th International Symposium on Temporal Representation and Reasoning (TIME 2012), Leicester, United Kingdom, September 12-14, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-2659-9. Abstract BiB PS PDF
  12. Alejandro Sánchez, Sriram Sankaranarayanan, César Sánchez, and Evan Chang. Invariant Generation for Parametrized Systems using Self-Reflection, In Proceedings of the 19th International Symposium on Static Analysis (SAS 2012), September 11-13, Deauville, France. 2012. vol 7460 of Lecture Notes in Computer Science pp146-163, Springer 2012, ISBN 978-3-642-33124-4. Abstract BiB PS PDF
  13. Alejandro Sánchez, Sriram Sankaranarayanan, César Sánchez, and Evan Chang. Invariant Generation for Parametrized Systems using Self-Reflection (Extended Version), Technical Report CU-CS-1094-12, University of Colorado Boulder, 2012. Abstract BiB PS PDF
  14. Marina Zapater, César Sánchez, José Luis Ayala, José Manuel Moya, and José Luis Risco-Martín. Ubiquitous Green Computing Techniques for High Demand Applications in Smart Environments, In Sensors, vol. 12, issue 8, pp. 10659--10677, ISSN 1424-8220, 2012. Abstract BiB PS PDF
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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
  21. César Sánchez. Deadlock Avoidance for Distributed Real-Time and Embedded Systems, Ph.D. thesis, Stanford University, May 2007. Abstract BiB PS PDF
  22. 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
  23. 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
  24. 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
  25. César Sánchez, Henny Sipma, Zohar Manna, Venkita Subramonian, 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
  26. Venkita Subramonian, Christopher D. Gill, César Sánchez, and . 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
  27. 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
  28. 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
  29. 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
  30. César Sánchez, Henny Sipma, and Zohar Manna. On Efficient Distributed Deadlock Avoidance for Distributed Recursive Processes, Unpublished. Abstract BiB PS PDF
  31. 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
  32. César Sánchez, Henny Sipma, Venkita Subramonian, Christopher D. Gill, and 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
  33. 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
  34. Ben D'Angelo, Sriram Sankaranarayanan, César Sánchez, Will Robinson, Bernd Finkbeiner, Henny Sipma, Sandeep Menhotra, 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
  35. 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
  36. 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:

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.