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. K is 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. Also, 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 which was proved sound in Coq.
For an almost complete list of my papers please visit my DBLP profile.
- Director of internal grant at UAIC: GI-08 – Certification of computer programs using a proof assistant.
- Researcher in Bridge Grant: using static analysis to prevent Zero-Day attacks
- PhD student – funded by POSDRU: A Generic Framework for Symbolic Execution: Theory and Applications
- Research assistant in DAK: An executable semantic framework for rigurous design, analysis and testing of systems.