Andrei Arusoaie

Andrei Arusoaie
Member Status: Permanent
Institution: Faculty of Computer Science@Alexandru Ioan Cuza, University of Iasi
E-mail: andrei.arusoaie@gmail.com
Address: Gen. Berthelot, 16, 700483
Phone: +4 023 202440

 

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

 

Publications

2018

2017

2016

2015

2014

2013

2012

2011

Sidebar