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

Overview

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 (Universidad Politécnica de Valencia, UPV).

After studying Computer Science (Licenciatura en Informática) from 1987 to 1994, I got my PhD in Computer Science in 1998. My alma mater is the Technical University of Valencia. I also had the opportunity to continue learning (a neverending process) as a PhD student at the CS Department of the Technical University of Aachen (RWTH Aachen), as a postdoc at the Laboratory of Informatics (LIX) of the École Polytechnique, and during a sabbatical year at the Formal Methods and Declarative Languages Laboratory of the University of Illinois at Urbana-Champaign (UIUC).

My research interests include (in alphabetic order):

  • 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), FST&TCS (in 2008), LATA (in 2011, 2012, and 2015), PPDP (in 2011), RTA (in 2003, 2007, 2011 and 2015), RULE (in 2005 and 2008), and WRLA (in 2004, 2006, 2008, 2010, and 2012).

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.