Skip to content

Guido de Caso

  • Ph.D. student
  • Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires
  • 0ReadersNumber of instances of Guido's publications in Mendeley libraries. Updated daily.
  • 5PublicationsNumber of items in this person’s My Publications folder on Mendeley.

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 (8)

  • Ignacio Vissani

    Ignacio Vissani

  • Yvonne Friese

    Yvonne FrieseZBW Kiel

  • Heitor Ramos

    Heitor RamosDepartment of Computer Science / Universidade Federal de Minas Gerais

  • nicolas dipi

    nicolas dipi

  • Hernan Czemerinski

    Hernan Czemerinski

  • Esteban Pavese

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

Explore network

Following (7)

  • Heitor Ramos

    Heitor RamosDepartment of Computer Science / Universidade Federal de Minas Gerais

  • sebastian Uchitel

    sebastian Uchitel

  • nicolas dipi

    nicolas dipi

  • Hernan Czemerinski

    Hernan Czemerinski

  • Esteban Pavese

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

  • Diego Garbervetsky

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

Explore network

Publications

Program abstractions for behaviour validation

  • de Caso G
  • Braberman V
  • Garbervetsky D
Proceeding of the 33rd international conference on Software engineering - ICSE '11 (2011)
  • n/a

    Readers

  • n/a

    Citations

Full text

Automated Abstractions for Contract Validation

  • de Caso G
  • Braberman V
  • Garbervetsky D
IEEE Transactions on Software Engineering (2010)
  • n/a

    Readers

  • n/a

    Citations

Full text

Behavioural validation of software engineering artefacts

  • de Caso G
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - ICSE '10 (2010)
  • n/a

    Readers

  • n/a

    Citations

Full text

Reducing the number of annotations in a verification-oriented imperative language

  • de Caso G
  • Garbervetsky D
  • Gorin D
Proceedings of Automatic Program Verification 2009 (2009)
  • n/a

    Readers

  • n/a

    Citations

Pest formal specification

  • de Caso G
  • Garbervetsky D
  • Gorin D
Technical report, Universidad de Buenos Aires (2008)
  • n/a

    Readers

  • n/a

    Citations

Professional experience

Ph.D. student

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

April 2008 - Present

Education history

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)