Thesis and internship proposals

theses proposal

BS or MS theses in automated reasoning


Guarantor Maria Paola Bonacina
Suggested date September 28, 2020
Study courses Bachelor's degree in Computer Science, Master's degree in Computer Science and Engineering
Description Students who are curious and motivated towards a thesis (BS or MS level) in the area of artificial intelligence understood as automated reasoning, automated deduction, automated theorem proving, decision procedures for the satisfiability of formulae or constraints, and applications thereof to the verification, analysis, and synthesis of programs and systems, as well as to other fields of artificial intelligence can get in touch by email to get an appointment.





© 2002 - 2021  Verona University
Via dell'Artigliere 8, 37129 Verona  |  P. I.V.A. 01541040232  |  C. FISCALE 93009870234