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. As a PhD student, I spent almost one year at the CS Department of the Technical University of Aachen (RWTH Aachen). I also enjoyed a postdoc visit of few months at the Laboratory of Informatics (LIX) of the École Polytechnique. In 2013-2014, 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), IWS (in 2010 and 2012), 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), WRS (in 2004, 2005, 2006, 2007, 2009, and 2011), and WST (in 2016 and 2018).

I'm a member of the IFIP Working Group 1.6 on Rewriting.

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.