Mădălina ERAŞCU, PhD, is a Lecturer in the Department of Computer Science of West University of Timisoara, Romania and Senior Researcher at Institute e-Austria, Timisoara, Romania. Prior to these, she had been a 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 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, automated theorem proving and computer algebra 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.
As an Innovation Labs Ambassador she encourages entrepreneurial mindset and initiatives of students of Computer Science, but not only, at West University.