Skip to content

Manuel Montenegro Montes

  • Prof. Titular de Universidad Interino
  • Universidad Complutense de Madrid. Facultad de Informatica
  • 23PublicationsNumber of items in Manuel's My Publications folder on Mendeley.

Research interests

Functional ProgrammingProgram verificationStatic AnalysisType systems

Publications (5)

  • A resource-aware semantics and abstract machine for a functional language with explicit deallocation

    N/AReaders
    N/ACitations
  • A simple region inference algorithm for a first-order functional language

    N/AReaders
    N/ACitations
  • A space consumption analysis by abstract interpretation

    N/AReaders
    N/ACitations
  • A type system for safe memory management and its proof of correctness

    N/AReaders
    N/ACitations
  • An inference algorithm for guaranteeing safe destruction

    N/AReaders
    N/ACitations

Professional experience

Prof. Titular de Universidad Interino

Universidad Complutense de Madrid. Facultad de Informatica

February 2012 - Present

Education

Facultad de Ciencias

Universidad Nacional de Educación a Distancia

October 2008 - September 2014(6 years)

Facultad de Informática

Universidad Complutense de Madrid

September 2006 - September 2007(a year)

Facultad de Informática

Universidad Complutense de Madrid

October 2001 - June 2006(5 years)