Research in applied science leads to reforms, research in pure science leads to revolutions (Sir J.J. Thomson)

Forthcoming events I'm involved in


I'm a Full Professor (Catedrático de Universidad) of Computer Science at the Department of Computer Science (DSIC) of the Technical University of Valencia (Universitat Politècnica de València, UPV).

My alma mater is the Technical University of Valencia, where I studied Computer Science (Licenciatura en Informática) from 1987 to 1994, and then received my PhD in Computer Science in 1998. I spent almost one year as a PhD student at the CS Department of the Technical University of Aachen (RWTH Aachen). Then, I enjoyed a postdoc visit of few months at the Laboratory of Informatics (LIX) of the École Polytechnique. Recently I spent a sabbatical year at the Formal Methods and Declarative Languages Laboratory of the University of Illinois at Urbana-Champaign (UIUC).

My research interests include:

  • Algebraic interpretations (in particular, numerical interpretations based on matrices, polynomials, vectors, etc.), logical models and abstractions, and its practical application in program analysis, logical modeling and verification
  • Computational logics (e.g., Horn Logic, Lambda Calculus, Pi-Calculus, Rewriting Logic, Term Rewriting, etc.)
  • Constraint solving
  • Formal methods in Software Engineering
  • Logic-based modeling of computational systems
  • Program analysis, optimization, and verification
  • Programming languages and Programming Paradigms
  • Semantics-based program analysis and transformation
  • Termination of programs

I'm a member of the Editorial Board of the Journal of Computer and System Sciences.

I have served in the program committee of several international conferences and workshops, including AISC (in 2006), CAI (in 2011), FSCD (in 2019), FST&TCS (in 2008), LATA (in 2011, 2012, 2015 and 2018), LOPSTR (in 2018), PPDP (in 2011), RTA (in 2003, 2007, 2011 and 2015), RULE (in 2005 and 2008), WRLA (in 2004, 2006, 2008, 2010, 2012, 2016, 2018, and 2020), and WST (in 2016 and 2018).

I'm a member of the IFIP Working Group 1.6 on Term Rewriting. I'm also member of the Steering Committee of the International School of Rewriting (ISR). I have also served as chair of the Steering Committee of the International Conference on Rewriting Techniques and Applications (RTA).

Together with Bernhard Gramlich, I launched the International Workshop on Reduction Strategies in Rewriting and Programming (WRS). I also organized the first edition of the Federated Conference on Rewriting, Deduction and Programming (RDP 2003) and the 6th International School of Rewriting (ISR 2012) in Valencia.