Madalina Erascu

Madalina Erascu, PhD, is an Associate Professor in the Computer Science Department at the West University of Timisoara, Romania and Senior Researcher at Institute e-Austria, Timisoara, Romania. She is interested in developing algorithmic methods for building and maintaining reliable algorithms. To achieve this goal, she combines theoretical research in formal methods, automated theorem proving and computer algebra motivated by practical applications in Cloud Computing, Big Data and Machine/Deep Learning. I am also interested in Entrepreneurship education, both formal and informal.