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




Prospective students



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


  • On 2024 April 26th, I defended my Habilitation Thesis entitled Formal Methods Supported by Symbolic Computation for Engineering Applications in Cloud Computing and Artificial Intelligence. The examination commetee was composed by Laura Kovacs (Technical University Wien), Dorel Lucanu (Universitatea Al. I. Cuza, Iaşi) and Alin Ştefănescu (Universiatea Bucureşti). Thank you to them and to all my collaborators during the years. You can download the presentation from here, the abstract from here, the full thesis from here and the verification sheet from here.
  • I am offering Bachelor/Master theses and Research Stages on a continous base. See an up-to-date list here.
  • The paper Fast and Exact Synthesis of Application Deployment Plans using Graph Neural Networks and Satisfiability Modulo Theory (by Eduard Laitin and Mădălina Eraşcu) has been accepted at International Joint Conference on Neural Networks 2024 (IJCNN 2024), part of IEEE WCCI 2024 (IEEE Proceedings).
  • The traffic sign recognition benchmark that we proposed for VNN-COMP 2023 received the outstanding benchmark award.
  • In July, my Master students defended their theses in an excellent fashion:
    • Marcus Ilisie. A Symbiosis of Constraint Optimization, Symmetries and Symmetry Breaking for Scalable Cloud Deployment Problems
    • Eduard Laitin. Speeding Up the Deployment in the Cloud of Component-based Applications using Graph Neural Networks and SMT solving. Paper accepted at IEEE IJCNN 2024.
    • Vlad Luca. SAGE - A Tool for Optimal Deployments in Kubernetes Clusters. Paper accepted at IEEE CloudCom 2023.
    • Andreea Postovan. Binarized Neural Networks for Traffic Sign Recognition: Training and Verification. Papers accepted at ICANN 2023 and FROM 2023.
  • Updates on the activities of the R&D project funded by UEFISCDI
  • In the next academic year I will be teaching courses on entrepreneurship:
    • Entrepreneurship Skills (mandatory)
    • Entrepreneurship Skills - practical applications (facultative)
    Their content and format are inspired by those followed at University of Rochester during the Fulbright-RAF scholarship. These are the first courses for Computer Science students in our department and I'm glad they were introduced in the 2nd year of Bachelor studies. They follow the slogan Come and see, so if you want to participate and/or contribute, contact me!
  • We are organizing Entrepreneurship Café also in the academic year 2022-2023. Check Entrepreneurship page for details!