Teaching activity of Davide Barbarossa

Computer science is not about computers, in the same way that astronomy is not about telescopes.
-- Disputed: Hal Abelson, Michael R. Fellows, Ian Parberry, Edsger Dijkstra.

• 2025: Teacher at ESSLLI Summer School
  • Category: Logic and Computation, Level: Advanced Course
    • The Lambda-Calculus, from Minimal to Classical Logic -- Coresponsable, together with Giulio Guerrieri
      More information to come in the next months

• 2024: Tutor -- University of Bath
  • MSc in Computer Science
    • Foundations of Computation

• 2023-2024: Tutor didattico -- Università di Bologna
  • Corso di laurea in Informatica
    • Logica per l'informatica

• 2022-2023: Professore a contratto -- Università di Bologna
  • Corso di laurea in Genomics
    • Networks, Security and Databases -- Coresponsable, together with Paolo Felli
      (I am the responsable of Module 2: Elements of Complexity, Cryptography, Machine Learning)

• 2019-2021: Moniteur -- IUT de Villetaneuse, Université Sorbonne Paris Nord
  • 2020/21: DUT Département Réseaux.
    • Bases des systèmes d'exploitation (GNU/Linux) - TD/TP
      
    • Programmation 1 (Python)- TD/TP

  • 2019/20: DUT Département Informatique.
    • Architecture des réseaux - TD/TP
      
    • Architecture et programmation bas niveau (Portes logiques, Assembleur, C)- TD/TP
      
    • Bases de la conception Object Oriented (Java) - Projet tutoré

Page maintained by Davide Barbarossa