Automated Formal Static Analysis and Retrieval of Source Code - JKU

CURRICULUM VITAE
MĂDĂLINA ERAŞCU
Personal Data
Full Name:
E-mail address:
Date and Place of Birth:
Nationality:
Mădălina Eraşcu
merascu@risc.uni-linz.ac.at
October 10, 1983, Oraviţa, Romania
Romanian.
Education
• Master Studies (2006 – now) in Computer Science
– at Johannes Kepler University Linz, Austria, as Erasmus – Socrates student
– at International School for Informatics (Johannes Kepler University) – Informatics:
Engineering and Management
Master thesis: ,,Automated Formal Static Analysis and Retrieval of Source Code”
Thesis advisor: a.Univ.-Prof. Dr. Tudor Jebelean
• Bachelor Studies (2002 – 2006) in Computer Science
West University of Timişoara, Romania.
Bachelor thesis: ,,XML Web Services using ADO.NET”
Thesis advisor: Lect. Dr. Florin Fortiş
• High School Studies (1998 – 2002)
Theoretical High School ”General Dragalina”, Oraviţa, Romania.
Publications and Talks
• M. Erascu and T. Jebelean. Practical Program Verification by Forward Symbolic Execution:
Correctness and Examples. In: Austrian-Japan Workshop on Symbolic Computation in
Software Science, Bruno Buchberger, Tetsuo Ida, Temur Kutsia (ed.), pp. 47-56. 2008.
• M. Erascu and T. Jebelean. Verification of Imperative Programs using Forward Reasoning.
Apr., 11-14, 2007. Contributed talk at SFB Statusseminar, Strobl, Austria.
• M. Erascu and T. Jebelean. Verification of Imperative Programs using Symbolic Execution
and Forward Reasoning in the Theorema System. RISC Linz. Technical report no. 07-12,
July 1 2007. Presented at First Austria-Japan Workshop on Symbolic Computation and
Software Verification, Linz, Austria, July 1st 2007