Teaching and Advising

• Students and Associates

• Lecturing beyond the home institution:
  • A lecture on Parallel Automated Reasoning at the Third International Summer School on Satisfiability, Satisfiability Modulo Theories and Automated Reasoning (SAT/SMT/AR), Instituto Superior Técnico, Universidade de Lisboa, Lisbon, Portugal, EU [Slides].
  • A lecture on Overview of Automated Reasoning and Ordering-based Strategies at the Ninth Summer School on Formal Techniques (SSFT), Menlo College, Atherton, California, USA [Slides].
  • A lecture on On Interpolation in Theorem Proving, at the Seventh Summer School on Formal Techniques (SSFT), Menlo College, Atherton, California, USA [Slides].
  • A lecture on Introduction to Automated Reasoning at the First International Summer School on Satisfiability, Satisfiability Modulo Theories and Automated Reasoning (SAT/SMT/AR), Instituto Superior Técnico, Universidade de Lisboa, Lisbon, Portugal, EU.
  • A lecture on Ordering-based Strategies for Theorem Proving, at the Sixth Summer School on Formal Techniques (SSFT), Menlo College, Atherton, California, USA.
  • A three hours class on Topics in Model-Based Reasoning: Towards Integration of Proving and Solving, within an Advanced Seminar in Artificial Intelligence and Robotics at the Università degli Studi di Roma ``La Sapienza'', Roma, Italy, EU [Slides].
  • A one week cycle of lectures on Teoria della dimostrazione: metodi del ragionamento automatico (Proof Theory: Automated Reasoning Methods), part of the annual Scuola Italiana di Logica organized by the Associazione Italiana di Logica e sue Applicazioni, and held at Palazzo Feltrinelli, Gargnano sul Garda, Italy, EU.
  • A three weeks cycle of lectures on Theorem Proving Strategies in the International Graduate Program in Computational Logic of the Fakultät Informatik of the Technische Universität Dresden, Dresden, Germany, EU.

• Teaching at the Università degli Studi di Verona:
  • Current:
    
    • Logica/Logic
    • Ragionamento automatico/Automated Reasoning
  • Other courses taught in previous years:
    • Special Topics in Artificial Intelligence
    • Verifica automatica di sistemi/Automated System Verification
    • Algoritmi per bioinformatica
    • Intelligenza artificiale
    • Linguaggi di programmazione
    • Deduzione automatica
    • Programmazione

• Teaching at The University of Iowa (previous affiliation):
  • 22C:054 Programming Language Concepts
  • 22C:123 Programming Language Foundations
  • 22C:245 Advanced Artificial Intelligence
  • 22C:145 Artificial Intelligence
  • 22C:295 Seminar in Artificial Intelligence

Maria Paola Bonacina