Photo Credit: Dana Moica
Faculty of Mathematics & Informatics,
Computer Science Department,
Institute e-Austria Timisoara
Email: madalina dot erascu at e-uvt dot ro
Postal address: Institute e-Austria Timisoara, room 045B
Blvd. V. Parvan 4, 300223 Timisoara, Romania
I am Lecturer at West University of Timisoara, Faculty of Mathematics & Informatics, Computer Science Department.
I am also Researcher at Institute e-Austria Timisoara.
- Distributed Computing, in particular Cloud and Big Data Computing;
- Formal Methods, in particular Static Software Verification;
- Automated Theorem Proving, in particular First-Order Theorem Proving;
- Symbolic Computation, in particular Polynomial Algebra.