BS or MS theses in automated reasoning

theses proposal

BS or MS theses in automated reasoning

Maria Paola Bonacina
Suggested date
September 28, 2020
Study courses
Bachelor's degree in Computer Science, Master's degree in Computer Science and Engineering


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.

Research areas connected to the proposal
Computing Methodologies - ARTIFICIAL INTELLIGENCE
Theory of computation - Logic
Theory of computation - Semantics and reasoning