Research interests:

• Formal Methods, in particular Static Software Verification;
• Automated Theorem Proving, in particular First-Order Theorem Proving;
• Symbolic Computation, in particular Polynomial Algebra.

Other interests:

• Innovation and Entrepreneurship in Technology and Education

NEWS

• I contributed to the preparation of Romania's 2025 National Artificial Intelligence Team, made up of high school students. Out of the full team of around 30 pupils, 12 will be selected to represent the country at the international level.
• I am co-organizing 17th Alpine Verification Meeting (AVM 2025), September 23-25, collocated with International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2025); Logic and Programming Track, Timisoara, Romania. Please consider submitting!
• I am co-chairing Satisfiability Checking and Symbolic Computation (SC-Square) workshop, August 2, collocated with International Conference on Automated Deduction (CADE), Stuttgart, Germany. Please consider submitting!
• In 2025, I am in the PC of the following venues. Please consider submitting:
  • International Conference on Artificial Intelligence Applications and Innovations (AIAI 2025), June 26-29; Limassol, Cyprus
  • International Joint Conference on Neural Networks (IJCNN 2025), June 30-July 5; Rome, Italy
  • International Conference on Artificial Neural Networks (ICANN 2025), September 9-12; Kaunas, Lithuania
  • Working Formal Methods Symposium (FROM 2025), September 17-19; Iasi, Romania
  • International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2025); Logic and Programming Track, September 22-25; Timisoara, Romania
• 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.