Margherita Zorzi

  1. Home
  2. Dipartimento
  3. Persone
  4. Margherita Zorzi
Margherita Zorzi, 3 novembre 2021
Qualifica
Professore associato
Settore disciplinare
MATH-01/A - Logica matematica
Settore di Ricerca (ERC-2024)
PE1_1 - Logic and foundations

PE1_17 - Mathematical aspects of computer science

Settore di Ricerca (ERC)
F.4 - MATHEMATICAL LOGIC AND FORMAL LANGUAGES

PE6_4 - Theoretical computer science, formal methods, and quantum computing

Ufficio
Ca' Vignal 2,  Piano 1,  Stanza 72
Telefono
+39 045 802 7045
E-mail
margherita|zorzi*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.
Pagina Web personale
https://sites.google.com/view/margheritazorzi

Orario di ricevimento

mercoledì, Ore 14.00 - 16.00,   Ca' Vignal 2, piano 1, stanza 72

Da concordare via email.

Per le persone lavoratrici: mandare una email per concordare eventuali orari alternativi. Il ricevimento si svolge solo in presenza con le eccezioni specificate nelle pagine Moodle dei vari insegnamenti. 

 

Curriculum

Principali interessi di ricerca: 

Teoria della Dimostrazione; Modelli per la descrizione della computazione quantistica; Lambda calcolo per le computazioni classiche, probabilistiche e non deterministiche; Matematica costruttiva.

Insegnamenti

Insegnamenti attivi nel periodo selezionato: 35.
Clicca sull'insegnamento per vedere orari e dettagli del corso.

Corso Nome Crediti totali Online Crediti del docente Moduli svolti da questo docente
Laurea magistrale in Mathematics Advanced course in foundations of mathematics (2025/2026)   6    3 
Laurea in Informatica Algebra e matematica di base [Matricole dispari] (2025/2026)   6  eLearning 6 
Laurea magistrale in Artificial Intelligence Logic in AI (2025/2026)   6  eLearning 6 
Laurea magistrale in Mathematics [LM-40] Advanced course in foundations of mathematics (2024/2025)   6  eLearning 3 
Laurea in Informatica [L-31] Algebra e matematica di base [Matricole dispari] (2024/2025)   6  eLearning 6 
Laurea magistrale in Artificial Intelligence [LM-18] Logic in AI (2024/2025)   6  eLearning 6 
Laurea magistrale in Mathematics [LM-40] Advanced course in foundations of mathematics (2023/2024)   6  eLearning 2 
Dottorato in Informatica Foundations of quantum languages (2023/2024)   3  eLearning 3 
Laurea in Informatica [L-31] Logica [Matricole dispari] (2023/2024)   6  eLearning 6 
Laurea magistrale in Artificial Intelligence [LM-18] Logic in AI (2023/2024)   6  eLearning 6 
Laurea magistrale in Mathematics [LM-40] Advanced course in foundations of mathematics (2022/2023)   6  eLearning 2 
Laurea in Informatica [L-31] Logica [Matricole dispari] (2022/2023)   6  eLearning 6 
Laurea in Biotecnologie [L-2] Matematica e statistica (2022/2023)   12  eLearning 6  (Matematica Mod. 1)
Laurea in Informatica [L-31] Algebra lineare (2021/2022)   6  eLearning 1 
Laurea in Biotecnologie [L-2] Matematica e statistica (2021/2022)   12  eLearning 6  (Matematica Mod. 1)
Laurea magistrale in Mathematics [LM-40] Mathematical logic (2021/2022)   6  eLearning 6 
Laurea in Scienze della comunicazione [L-20] Informatica documentale (i) (2020/2021)   6  eLearning 6 
Laurea magistrale in Editoria e giornalismo [LM-19] Informatica e produzione multimediale (m) (2020/2021)   12  eLearning 4  II MODULO PARTE (P)
Laurea in Scienze della comunicazione [L-20] Informatica documentale (i) (2019/2020)   6  eLearning 6 
Laurea magistrale in Editoria e giornalismo [LM-19] Informatica e produzione multimediale (m) (2019/2020)   12  eLearning 4  II MODULO PARTE (P)
Laurea in Scienze della comunicazione [L-20] Informatica documentale (i) (2018/2019)   6    6 
Laurea magistrale in Editoria e giornalismo [LM-19] Informatica e produzione multimediale (m) (2018/2019)   12  eLearning 4  II MODULO PARTE (P)
Laurea in Scienze della comunicazione [L-20] Informatica documentale (i) (2017/2018)   6    6 
Laurea in Scienze della comunicazione [L-20] Informatica documentale (i) (2016/2017)   6    6 
Laurea in Scienze della comunicazione [L-20] Informatica documentale (i) (2015/2016)   6    6 
Laurea in Scienze della comunicazione [L-20] Informatica documentale (i) (2014/2015)   6    6 
TFA A042 - Informatica (II grado) Sistemi informativi e sicurezza (2014/2015)   6    2  FONDAMENTI
Laurea in Scienze della comunicazione [L-20] Informatica documentale (i) (2013/2014)   6    6 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Algoritmi (2010/2011)   12    6  COMPLESSITÀ
6  ALGORITMI
Laurea in Scienze della comunicazione [L-20] Informatica di base SC (i) (2010/2011)   6    6 
Laurea in Scienze della comunicazione [L-20] Informatica documentale (i) (2010/2011)   6    6 
Laurea in Scienze della comunicazione [L-20] Informatica di base SC (i) (2009/2010)   6    6 
Laurea in Scienze della comunicazione: editoria e giornalismo - ordinamento fino all'a.a. 2007/2008 Informatica documentale (p) (2009/2010)   6    6 
Laurea in Scienze e tecnologie viticole ed enologiche [L-25] Informatica e statistica (2009/2010)   6    3  INFORMATICA

Di seguito sono elencati gli eventi e gli insegnamenti di Terza Missione collegati al docente:

  • Eventi di Terza Missione: eventi di Public Engagement e Formazione Continua.
  • Insegnamenti di Terza Missione: insegnamenti che fanno parte di Corsi di Studio come Corsi di formazione continua, Corsi di perfezionamento e aggiornamento professionale, Corsi di perfezionamento, Master e Scuole di specializzazione.

Gruppi di ricerca

Logica
Logica in matematica ed informatica.
Quantum Informatics Laboratory - QUILAB
Laboratorio di Informatica Quantistica
Competenze
Argomento Descrizione Area di ricerca
Teoria delle dimostrazioni, logica lineare e teoria dei tipi Calcoli sequenziali per logiche modali, lineari e temporali. Sistemi di deduzione naturale per logiche modali, lineari e temporali. Sistemi deduttivi etichettati. Sistemi dei tipi per CPS. Reti di dimostrazione per logiche lineari e classiche. Sistemi deduttivi per computabilità quantistica. Algebra, Geometria e Logica Matematica
General logic


Organizzazione

Strutture del dipartimento

Condividi