## Forthcoming events I'm involved in

- 4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019 (June 24-30, 2019)
- XIX Jornadas sobre Programación y Lenguajes, PROLE 2019 (part of SISTEDES 2019) (September 2-6, 2019)
- 29th International Conference on Computer Science Logic, CSL 2020 (January 13-16, 2020)
- 13th International Workshop on Rewriting Logic and its Applications, WRLA 2020

## 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 (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), CSL (in 2020), 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 2001, 2002, 2003, 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.