Mădălina Eraşcu, M.Sc.

Mădălina Eraşcu has been Ph.D. Student at Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria, since October 2008. She is a member of Theorema research group working under the supervision of Professor Tudor Jebelean in the area of static program analysis using automated theorem proving, computer algebra and algorithmic combinatorics. Here is a poster giving the general objectives of her research program. She has spent five months (January - June 2011, 2011) at North Carolina State University, Raleigh, USA, working under the supervision of Professor Hoon Hong, in the framework of Marshall Plan Foundation scholarship.

She holds a M.Sc. from Johannes Kepler University (2006) and a B.Sc. from West University of Timisoara (2004), 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).

Working area: automated theorem proving, computer algebra, algorithmic combinatorics.

Address:
Research Institute for Symbolic Computation
Johannes Kepler University
Altenberger Straße 69
A-4040 Linz, Austria

Office:
Schloss Hagenberg
A-4232 Hagenberg im Mühlkreis
Room 1.9-4