Modules running in the period selected: 45.
Click on the module to see the timetable and course details.
Topic | Description | Research area |
---|---|---|
Automated Reasoning | Automated theorem proving; Automated model building; Reasoning about programs; Strategy analysis; Distributed automated deduction; Theorem proving strategies: ordering-based strategies (resolution and rewriting), subgoal-reduction strategies, instance-based strategies; Decision procedures for satisfiability modulo theories and their application to check program properties |
Machine Intelligence
Artificial intelligence |
Software Verification | Decision procedures for satisfiability modulo theories and their application to check program properties; invariant generation by theorem proving; interpolating theorem proving; abstraction refinement for either model checking or static analysis by theorem proving |
Theory of computation
Logic |
Office | Collegial Body |
---|---|
member | Council of the PhD School in Computer Science A.Y. 2018/2019 - Department Computer Science |
member | Collegio Didattico di Informatica - Department Computer Science |
member | Computer Science Department Council - Department Computer Science |