Jordi Levy

IIIA - CSIC

Campus de la U.A.B.

08193 Bellaterra, Spain.

Phone: + (34) 935 809 570

Fax: + (34) 935 809 661

Email: levy -at- iiia -dot- csic -dot- es

Research Interests

SAT and MaxSAT solvers.
Modelization of real-world SAT problems.
Automated Deduction.
Higher-Order Logics.
Unification algorithms.
Type Theory.

Publications

Research Events

RTA'12 (PC member) Nagoya, Japan.
UNIF'12 (PC member) collocated with IJCAR'12 in Manchester, UK.
UNIF'10 (PC member) collocated with FLOC'10 in Edinburgh, UK.
UNIF'06 (PC chair) collocated with FLOC'06 in Seatle, USA.
UNIF'03 (PC chair) collocated with RDP'03 in Valencia, Spain.

PhD Students

Jesús Giráldez. Started 2012.
Mateu Villaret. Defended in 2004.
Marco Schorlemmer, jointly with Jaume Agustí. Defended in 1999.

Personal

Teaching (in spanish or catalan)

Hojas de ejercicios sobre generación de código.
Compiladores (CL-I y CL-II).
Descripción de Lenguages de Programación (DLP).

Sculptures made by Ferran Levy, my brother

Kafala (adopción) en Marruecos

Other interesting links

Implementation of a linear second-order unification procedure written in (sicstus) Prolog.
A similar implementation for bounded second-order unification .
An incomplete list of publications