Skip to content

Jordi Levy

  • PhD
  • Scientific Researcher
  • IIIA-CSIC
  • 14h-indexImpact measure calculated using publication and citation counts. Updated daily.
  • 679CitationsNumber of citations received by Jordi's publications. Updated daily.

Co-authors (37)

  • Washington Ribeiro
  • Jesus Cerquides

Publications (5)

  • Locality in random SAT instances

    • Giráldez-Cru J
    • Levy J
    N/AReaders
    1Citations
  • Nominal unification of higher order expressions with recursive let

    • Schmidt-Schauß M
    • Kutsia T
    • Levy J
    • et al.
    N/AReaders
    1Citations
    Get full text
  • Structure features for SAT instances classification

    • Ansótegui C
    • Bonet M
    • Giráldez-Cru J
    • et al.
    N/AReaders
    0Citations
    Get full text
  • Implementing inequality and nondeterministic specifications with bi-rewriting systems

    • Levy J
    • Agustí J
    N/AReaders
    0Citations
  • Expressing program requirements using refinement lattices

    • Robertson D
    • Agustí J
    • Hesketh J
    • et al.
    N/AReaders
    0Citations

Professional experience

Scientific Researcher

IIIA-CSIC

February 1997 - Present

Adjunct professor

Universitat Politecnica Catalunya

October 1994 - January 1997(2 years)

Fellow

IIIA-CSIC

January 1992 - September 1994(3 years)

Fellow

CEAB-CSIC

January 1989 - December 1991(3 years)

Education history

PhD on Computer Science

Universitat Politecnica Catalunya

September 1988 - May 1994(6 years)

Degree on Computer Science

Universitat Politecnica Catalunya

June 1984 - June 1991(7 years)

Degree on physics

Universitat Barcelona

September 1983 - June 1988(5 years)