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'06 collocated with FLOC'06 in Seatle, USA.
• UNIF'03 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

Other interesting links

• 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.
• The coordinates of my house