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.
Contact: Mădălina ERAŞCU.