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

Anouncements

Prospective PhD students and postdoctoral researchers are encouraged to contact me well in advance, at least nine months before their intended start date. More details about doctoral and postdoctoral studies can be checked here.

News