Modules running in the period selected: 51.
Click on the module to see the timetable and course details.
There you will find information, resources and services useful during your time at the University (Studentโs exam record, your study plan on ESSE3, Distance Learning courses, university email account, office forms, administrative procedures, etc.). You can log into MyUnivr with your GIA login details: only in this way will you be able to receive notification of all the notices from your teachers and your secretariat via email and soon also via the Univr app.
MyUnivrTopic | 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 | Computer Science Teaching Committee - Department Computer Science |
member | Computer Science Department Council - Department Computer Science |
CSS e script comuni siti DOL - frase 9957