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


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). I'm a member of the Extensions of Logic Programming (ELP) group at the Valencian Research Institute for Artificial Intelligence (VRAIN). I'm also member of the Valencian Graduate School and Research Network of Artificial Intelligence (valgrAI).

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:

  • Automated reasoning in software development and Artificial Intelligence
  • Computational logics (e.g., Horn Logic, Lambda Calculus, Pi-Calculus, Rewriting Logic, Term Rewriting, etc.)
  • Constraint solving
  • Formal methods in Software Engineering
  • Logical models and their application in program analysis and verification
  • Logics and systems for knowledge representation and reasoning (description logics, nonmonotonic logics, ontologies, etc.)
  • 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 and 2022), FST&TCS (in 2008), IWC (in 2024), 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, 2022, and 2024) WRS (in 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2009, and 2011), and WST (in 2016, 2018, and 2021).

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.

La máquina que cambió el mundo

Also available: Amazon

Reviews / Reseñas: IyC 521:93-94, Feb. 2020