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

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

• I am offering Bachelor/Master theses and Research Stages on a continous base. See an up-to-date list here.
• 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.
• The Young Research Teams Project SAGE ended in August. Check the results here. Am compilat si o lista de utils aici (in josul paginii) pentru cei care veti scrie si/sau implementa proiecte nationale finantate de UEFISCDI ca sa navigati mai usor in oceanul de birocratie romanesc. Totusi, am primit mult sprijin de la ofitera de proiect.
• On 2024 April 26th, I defended my Habilitation Thesis. The examination commettee was composed by Laura Kovacs (Technical University Wien), Dorel Lucanu (Universitatea Al. I. Cuza, Iaşi) and Alin Ştefănescu (Universitatea Bucureşti). Thank you to them and to all my collaborators during the years. You can download the presentation from here.