Edgardo Zoppi

Dr. Edgardo Zoppi

About

Edgardo Zoppi

I am a Teaching Assistant at the Computer Science Department, School of Sciences, University of Buenos Aires. I am also a researcher at LaFHIS: The Tools and Foundations for Software Engineering Lab since 2013.

Email: ezoppi (at) dc . uba . ar

Research Interests

  • Programming languages design and implementation
  • Compilers and interpreters
  • Development environments and tools
  • Programming paradigms
  • Program analysis
  • Type systems
  • Software Model checking
  • Contract validation
  • Code specification and verification

Teaching

Tools

  • Contractor.NET: A .NET version of Contractor, a validation and specification strengthening tool that takes a software contract or an API source code and generates a finite abstract representation useful for its validation.
  • Consume.NET: A .NET version of JConsume, a compositional analysis for inferring heap memory consumption in Java-like programs.

Publications

Complete list (including tech reports)

English