Photo Credit: Dana Moica 
Mădălina ERAŞCU
Lecturer
Faculty of Mathematics & Informatics,
Computer Science Department,
Researcher
Institute eAustria Timisoara
Email: madalina dot erascu at euvt dot ro
Phone: +40256224834
Fax: +40256224834
Office: F109
Postal address: Institute eAustria Timisoara, room 045B
Blvd. V. Parvan 4, 300223 Timisoara, Romania

Short bio
Research
Teaching
Students Projects
Utils

I am Lecturer at West University of Timisoara, Faculty of Mathematics & Informatics, Computer Science Department.
I am also Researcher at Institute eAustria Timisoara.
Research interests:
 Distributed Computing, in particular Cloud and Big Data Computing;
 Formal Methods, in particular Static Software Verification;
 Automated Theorem Proving, in particular FirstOrder Theorem Proving;
 Symbolic Computation, in particular Polynomial Algebra.
