|
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, abstract interpretation and type-systems for object-oriented programs. I am also interested in security, in particular, information flow analysis.
| Last update: 30-Apr-2013 |