Scuola Universitaria Interdipartimentale in Scienze Strategiche (SUISS)

Prodotti della ricerca

Tutti i miei prodotti della ricerca

Prodotti della ricerca selezionati

Altri DB Pubblicazioni

Insegnamenti

• Fondamenti dell'Informatica (INF0348)
  Corso di laurea in Informatica
• Logica per l'Informatica (INF0003)
  Corso di laurea in Informatica
• Quantum computing (QC2023)
  PhD in Computer Science

---

• Computazione Quantistica.
  Master LOUD COMPUTING per l'Intelligenza artificiale e Internet of Things
  
• Introduzione all'Informatica
  Master in Management Of Enabling Technologies 4.0

---

Temi di ricerca

Detailed HOME-PAGE

Interests: 

• Mathematical Study of Syntax and Semantics of Programming Languages: lambda-calculus, PCF, IA, QPCF, coherence spaces, ...
• Unconventional Computing Models: Reversible Computing, Quantum Computing, Probabilistic Computing, Analog Computing, ...
• Syntax and Semantics of logic: lambda-calculus, linear, intuitionistic, classic ....

Gruppi di Ricerca (Extra-Dipartimentali)

• Center for Logic, Language, and Cognition (LLC)
• Quantum Informatics Laboratory (QuiLab)
• Reversible Computing Research Group

 

Tutor per il Dottorato in Informatica

Gruppi di ricerca

• Logical Foundations of Computation (Logic)
• System Modelling, Verification and Reuse (MoVeRe)

• Fondazioni logiche della computazione
• Modellazione, Verifica e Riuso di Sistemi (MoVeRe)

Organi

• Commissione Inventari
• Consiglio di Dipartimento

• Commissione Passaggi - Trasferimenti - II lauree e Piani di studio (tutti gli ordinamenti escluso Laurea Magistrale DM270)
• Commissione Riconoscimento Titoli Accademici Esteri
• Consiglio di corso di Laurea e Laurea Magistrale in Informatica

Ricevimento studenti

Il MERCOLEDI previo appuntamento per e-mail presso il Dipartimento di Informatica. In alternativa, previo accordi posso disporre qualche appuntamento a margine delle lezioni.