Guido de Caso

Ph.D. student, Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires
Buenos Aires, Argentina

Research field: Computer and Information Science
Formal aspects of software engineering: contract validation, software verification, program analysis, programming languages design, type theory and model checking.

Publications

Book (1)
- Guido de Caso (2010) Behavioural validation of software engineering artefacts, 335. In ACM Press.
  http://doi.acm.org/10.1145/1810295.18...
  
  Download PDF (69.34 KB)
Conference Proceedings (4)
- Guido de Caso, Víctor Braberman, Diego Garbervetsky et al. (2011) Program abstractions for behaviour validation, 381. In Proceeding of the 33rd international conference on Software engineering - ICSE '11.
  http://portal.acm.org/citation.cfm?do...
  
  Download PDF (558.95 KB)
- G. de Caso, D. Garbervetsky, D. Gorin (2009) Reducing the number of annotations in a verification-oriented imperative language. In Proceedings of Automatic Program Verification 2009.
  http://publicaciones.dc.uba.ar/Public...
  
  Download PDF (299.15 KB)
- G. de Caso, V. Braberman, D. Garbervetsky et al. (2009) Validation of contracts using enabledness preserving finite state abstractions, 452-462. In 2009 IEEE 31st International Conference on Software Engineering.
  http://ieeexplore.ieee.org/lpdocs/epi...
  
  Download PDF (209.58 KB)
- L. Cavatorta, G. de Caso, A. Ferrari et al. (2006) A toolsuite for the verification of real-time systems in Eclipse, 35–39. In Proceedings of the 2006 OOPSLA workshop on eclipse technology eXchange.
  http://portal.acm.org/citation.cfm?id...
  
  Download PDF (586.28 KB)
Generic (2)
- G. de Caso, D. Garbervetsky, D. Gorin (2008) Pest formal specification, 1-4.
  http://publicaciones.dc.uba.ar/Public...
  
  Download PDF (318.63 KB)
- G. de Caso (2007) Construcciones de alto nivel como anotaciones para la verificacion automatica de software.
  http://publicaciones.dc.uba.ar/Public...
  
  Download PDF (932.25 KB)
Journal Article (1)
- Guido de Caso, Victor Braberman, Diego Garbervetsky et al. (2010) Automated Abstractions for Contract Validation. In IEEE Transactions on Software Engineering.
  http://www.computer.org/portal/web/cs...
  http://ieeexplore.ieee.org/lpdocs/epi...
  
  Download PDF (626.81 KB)

Awards and Grants

Feb 2010

Microsoft Research Latin American Fellow View website

Biographical Information

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.

CV

Professional Experience

2008 - Present

Ph.D. student at Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires
Buenos Aires, Argentina
Classes taught:
Ingeniería de Software 1

Education

2008 - Present

Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires in Buenos Aires, Argentina
Ph.D. in Computer Science

Mar 2003 - Dec 2007

Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires in Buenos Aires, Argentina
Licenciado en Computación