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 ISI-CRUI
Automated Reasoning Sistemi intelligenti
Computing methodologies  -  Artificial intelligence
Computer Science & Engineering
Software Verification Informatica teorica
Theory of computation  -  Logic
Computer Science & Engineering


Research facilities