Research groups


ARLette, where ARL stands for Automated Reasoning Laboratory, houses research in automated theorem proving, automated model building, decision procedures for satisfiability, search strategies, strategy analysis, distributed deduction, and rewriting, with applications including analysis, verification and synthesis of software/hardware systems.
Contact people
Maria Paola Bonacina


Topic Research area
Automated Reasoning Sistemi intelligenti
Computing methodologies  -  Artificial intelligence
Software Verification Informatica teorica
Theory of computation  -  Logic


Research facilities