Photo Credit: Dana Moica
[West University of Timisoara]

Mădălina ERAŞCU

Associate Professor
Faculty of Mathematics & Informatics,
Computer Science Department
West University of Timisoara, Romania

[IeAT] Researcher
Institute e-Austria Timisoara

Email: madalina dot erascu at e-uvt dot ro


Short bio

Research

Teaching

Entrepreneurship

Prospective students

Utils

Personal

I am Associate Professor at West University of Timisoara, Faculty of Mathematics & Informatics, Computer Science Department.

I am also Researcher at Institute e-Austria Timisoara.

Research interests:

  • Formal Methods, in particular Static Software Verification;
  • Automated Theorem Proving, in particular First-Order Theorem Proving;
  • Symbolic Computation, in particular Polynomial Algebra.
with applications in Cloud Computing and Artificial Intelligence.

Other interests:

  • Innovation and Entrepreneurship in Technology and Education

NEWS