Formal Methods for Software

My line of research is in the usage and development of algorithmic methods for building and maintaining reliable algorithms. To achieve this goal, I combine theoretical research in formal methods, satisfiability checking and symbolic computation motivated by practical applications in Cloud Computing, Big Data and Machine/Deep Learning.

A list of current and past relevant research projects is below.

Current Research Projects

Past Research Projects

Other Recent Research Projects


Contact: Mădălina ERAŞCU.