Mădălina ERAŞCU, PhD, is an Associate Professor in the Department of Computer Science of West University of Timisoara, Romania and Researcher at Institute e-Austria, Timisoara, Romania. Prior to these, she had been Lecturer, Associated Assistant and Postdoctoral Researcher in the Department of Computer Science of the same university as well as Postdoctoral Researcher in the Theorema group at Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria.

She holds a PhD in Technical Sciences from Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria. Her PhD thesis was advised by Professor Tudor Jebelean and Professor Hoon Hong and deals with the (semi-)automatic analysis and synthesis of programs using computational logic and polynomial algebra algorithms. She also holds a M.Sc. from Johannes Kepler University (2008) and a B.Sc. from West University of Timisoara (2006), both in computer science. Her master's and bachelor's theses were partly realized in the framework of the software companies Mindbreeze Software GmbH and, respectively, SC memIQ SRL.

In 2021, she was awarded The Fulbright-RAF Scholar Award in the field of Entrepreneurship & Entrepreneurial Studies for spending the Spring Semester of 2022 at University of Rochester, AIN Center for Entrepreneurship with the goals of study and independent research, curriculum development, classroom observation and participation in community-based entrepreneurial activities.

In 2010, she was awarded the competitive DOC-fFORTE-fellowship of the Austrian Academy of Sciences (June 2011 - November 2012). In the framework of Marshall Plan Foundation scholarship, she spent five months (January - June 2011) at North Carolina State University, Raleigh, USA, working under the supervision of Professor Hoon Hong.

She is interested in developing algorithmic methods for building and maintaining reliable algorithms. To achieve this goal, she combines theoretical research in formal methods, satisfiability checking and symbolic computation motivated by practical applications in Cloud Computing, Big Data and Machine/Deep Learning.

She was involved in several projects funded by European Commission and other research funding agencies (in Romania and Austria), as local team leader, member or PI.

As an Innovation Researcher at Continental Automotive Romania SRL she was involved in the concept and development of a Sensor Error Model prototype as well as in Patent writing.