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
- The Young Research Teams Project SAGE ended in August. Check the results here.
- I co-chair the iFM 2024 PhD Symposium.
Please advise your students to submit!
- 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.
|