Skip to content

Guido de Caso

  • Ph.D. student
  • Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires
  • 8PublicationsNumber of items in Guido's My Publications folder on Mendeley.
  • 9Followers

Research interests

type theory and model checking.programming languages designprogram analysissoftware verificationFormal aspects of software engineering: contract validation

About

Guido de Caso is a doctoral candidate in computer science at the Department of Computing, FCEyN, Universidad de Buenos Aires, where he is also a teaching assistant in charge of undergraduate software engineering courses practical sessions. His research interests include contract validation, software verification, program analysis and programming languages design. He has been awarded a graduate fellowship by Microsoft Research.

Followers (9)

Explore network

Following (7)

Explore network

Recent publications

  • Automated Abstractions for Contract Validation

    • de Caso G
    • Braberman V
    • Garbervetsky D
    • et al.
    N/AReaders
    N/ACitations
    Get full text
  • Behavioural validation of software engineering artefacts

    • de Caso G
    N/AReaders
    N/ACitations
    Get full text

Professional experience

Ph.D. student

Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires

April 2008 - Present

Education

Ph.D. in Computer Science

Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires

May 2008 - Present

Licenciado en Computación

Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires

March 2003 - December 2007(5 years)