RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  

>
>
>
>

Mădălina Eraşcu, Dr.

Former member of RISC

Starting February 2014, I moved to Institute e-Austria, Timisoara, and West University of Timisoara, Romania.

Here is my new homepage.

***

Madalina Erascu has been a postdoctoral researcher in the Theorema group at Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria, since January 2013.

Her research interests are program analysis and synthesis. More specifically, she is interested in developing algorithmic methods for building and maintaining reliable algorithms. To achieve this goal, she combines theoretical research motivated by practical applications in formal methods, automated theorem proving and computer algebra.

She holds a PhD in Technical Sciences from the same institution. 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.

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

Phone:+43 732 2468 9929
Web:http://www.risc.jku.at/home/merascu/


webmaster