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.
I am always looking for highly motivated students, and not only, to work with me in projects which involve my reseach interests.
This list of bachelor and master theses can be consulted here.