Interests

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.

Grants

• 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.

 

Publications

2022

2019

2018

2017

2016

2015

2014

2013

2012

2011

Projects

• K Semantics for Domain Specific Modelling Languages (DSML)
• Executable Semantic Framework (K Framework) (K)
• Capturing Initial and Final Semantics in Matching Logic
• Program Analysis and Verification

Grants

• Cresterea imunitatii la atacuri Zero-Day prin analiza statica (IZA) (IZA)
• An Executable Semantic Framework for Rigorous Design, Analysis and Testing of Systems (DAK) (DAK)
• GI-08 – Certification of computer programs using a proof assistant