Salvador Lucas

Registered user since Mon 2 Mar 2015

Name: Salvador Lucas

Bio: I got my PhD in Computer Science in 1998. My alma mater is the Technical University of Valencia (UPV). As a PhD student, I spent ten months at the CS Department of the Technical University of Aachen (RWTH Aachen). As a postdoc, I visited the Laboratory of Informatics (LIX) of the École Polytechnique during four months. Recently, I enjoyed a sabbatical year at the Formal Methods and Declarative Languages Laboratory of the University of Illinois at Urbana-Champaign (UIUC).

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, CAI, FST&TCS, LATA, PPDP, RTA, RULE, and WRLA.

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.

Country: Spain

Affiliation: Universitat Politècnica de València

Personal website:

Research interests: Constraint Solving, Formal Methods, Logics, Program Analysis, Programming Languages and Paradigms, Program Termination, Semantics


PLDI 2015Author of A Semantics-Directed Approach to Program Termination within the Tutorials-track