[Home] [Teaching] [Research] [Contact]
My research interests are mostly related to the programming languages research area. As a Ph.D. student I have worked in the development of K, a framework for defining the formal semantics of programming languages. My PhD thesis consisted in developing language parametric symbolic execution on top of the K framework (bundled with K-3.4).
Also, in my thesis I became interested in program verification and I have used my symbolic execution framework to verify some program properties. This particular work lead to a procedure for program verification based on symbolic execution.
During my postdoc at INRIA Lille-Nord Europe I have proved in Coq that my procedure for verification is sound. The Coq implementation provides now a framework for program verification.
After my postdoc, I obtained a lecturer position at the University of Iasi, in the Computer Science Department. In order to continue my work on program verification I have applied for (and obtained) a research grant for young researchers - funded by the University (details here).
For an almost complete list of papers visit my DBLP profile.