me

  Corneliu Popeea


The goal of my research is to provide techniques for buiding reliable software. My research interests are program analysis and verification, software synthesis and type-systems for object-oriented programs.

Current projects

Former projects

Software

Teaching

Program committee member

Personal links


eXTReMe Tracker
Last update: 10-October-2014