| 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
