Mădălina Eraşcu, Dr.Former member of RISC
Here is my new homepage.***
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
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.