Guido de Caso

About

Guido de Caso

In 2013 I got my Ph.D. in Computer Science in the Software Engineering research area under the supervision of Sebastián Uchitel and Víctor Braberman, with the collaboration of Diego Garbervetsky.

In 2010 I was awarded a Microsoft Research Fellowship, and later that year I was intern for three months in that institute mentored by Nikolaj Bjorner. In 2011 I returned to Microsoft Research for a second internship with Yuri Gurevich.

I'm head teaching assistant in the area of Software Engineering at Universidad de Buenos Aires.

As of September 2012, I am a Principal Software Engineer at Medallia.

Research

Research interests

My research interests are mainly focused towards the formal aspects of software engineering. In particular I'm working (or have recently worked) in contract validation, software verification, program analysis, programming languages design, type theory and model checking.

I'm a member of the local Reading Group of Program Analysis and Verification.

Projects

I am (or have been) involved in the following research projects:

Professional Activities

  • Member of the ESEC/FSE 2011 Artifact Evaluation Comittee
  • Additional reviewer in the following conferences: ICSE 2010, FTfJP 2009, ISSTA 2009, ICSE 2009, ICSE 2007
  • Student volunteer in the following conferences: ICSE 2011, ICSE 2010, ICSE 2009

Publications

Book chapters

Refereed publications in conferences and journals

Refereed publications in workshops

Other publications

  • Blass, de Caso, Gurevich
    An Introduction to DKAL
    Microsoft Research technical report, 2012
    PDFBIB
  • Bjorner, de Caso, Gurevich
    From Primal Infon Logic with Individual Variables to Datalog
    Microsoft Research technical report, 2011
    PDFBIB
  • de Caso, Braberman, Garbervetsky, Uchitel
    Contractor for Code Validation
    Universidad de Buenos Aires technical report, 2010
    PDFBIB
  • de Caso, Garbervetsky, Gorín
    Pest Formal Specification (v1.0)
    Universidad de Buenos Aires technical report, 2008
    PDFBIB
  • de Caso (tutored by Garbervetsky and Gorín)
    Higher-level Constructs as Annotations for Automatic Software Verification
    Master thesis (in spanish), Buenos Aires, Argentina, December 4th, 2007
    PDFSLIDESBIB
  • de Caso (advised by Braberman and Uchitel)
    Enabledness-based Abstract Behaviour Models
    Ph.D. thesis, Buenos Aires, Argentina, February 22nd, 2014
    PDF

Apps

Bio

Curriculum Vitae

Feel free to download my CV in both English and Spanish versions.
(Last modified on February 22nd, 2013)

Teaching

Current

I'm a teaching assistant in charge of practical sessions in a Software Engineering course.

Past

In February 2011, together with Diego Garbervetsky, we were in charge of a 5-day program analysis course in Rio Cuarto, Argentina.

I've previously been involved in teaching assistant possitions in Software Engineering, Operating Systems, Programming Languages and Paradigms, Algorithms and Data Structures, and Logic and Computability courses.

Contact Information

Miscellanea

I am part of the local LUG.

If you wish, you may also contact me through Facebook, Google+ or Mendeley.

Find Me On

Conferences and journals

Latest News

Undefined