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

LSI - UPC Campus Nord, Omega, 211. 08028 Barcelona, Spain. Phone: + (34) 934 137 844 Fax: + (34) 934 137 833

Research Interests

• Automated Deduction
• Higher-Order Logics
• Type Theory
• Unification

Research Events

• UNIF 2010 (PC member) collocated with FLOC 2010 in Edinburgh, G.B.
• UNIF'06 (PC chair) collocated with FLOC'06 in Seatle, USA.
• UNIF'03 (PC chair) collocated with RDP'03 in Valencia, Spain.

Teaching (in spanish or catalan)

• Hojas de ejercicios sobre generacion de codigo
• Compiladores (CL-I y CL-II)
• Descripción de Lenguages de Programación (DLP)

PhD Students

• Mateu Villaret . Defended in 2004
• Marco Schorlemmer , jointly with Jaume Agustí. Defended in 1999

Personal

Sculptures made by Ferran Levy, my brother

Adopcion internacional en Marruecos

• Usefull addresses .
• Implementation of a linear second-order unification procedure written in (sicstus) Prolog.
• A similar implementation for bounded second-order unification .
• An incomplete list of citations to my papers.
• An incomplete list of publications
• The coordinates of my house