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 80
Telefono
+39 045 802 7045
E-mail
margherita|zorzi*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.

Orario di ricevimento

martedì, Ore 14.00 - 16.00,   Ca' Vignal 2, piano 1, stanza 80

Dal 1/6/24 al 30/9/24 da concordare via email almeno tre giorni prima.

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: 32.
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 [LM-40] Advanced course in foundations of mathematics (2024/2025)   6    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
Computability Quantum and probabilistic computability. Implicit Complexity Theory. Ingegneria del Software e verifica formale
Models of computation
Lambda Calculus Quantum and Probabilistic lambda calculi. Lambda calculus for Continuation Passing Style. Computational interpretation of modal proofs. Ingegneria del Software e verifica formale
Logic
Lambda Calculus Studio di versioni estese del lambda calcolo tipato, in particolare di sistemi di tipaggio probabilistici e della loro espressività. Ingegneria del Software e verifica formale
Models of computation
modal and temporal logics Proof theoretical analysis of modal and temporal logics. Modal and temporal logics for security. Distribute logics. Branching a linear temporal logics. Ingegneria del Software e verifica formale
Logic
Quantum computation theory Quantum lambda calculi. Topological quantum computing. Quantum computational complexity. Theory of quantum computable functions. Quantum theory of interaction. Ingegneria del Software e verifica formale
Models of computation
Semantics of Probabilistic Languages Costruzione di semantiche operazionali e denotazionali per linguaggi probabilistici mediante algebre lineari e astratte. Ingegneria del Software e verifica formale
Semantics and reasoning
Teoria della dimostrazione e teoria dei tipi Sistemi deduttivi e di tipo basati su logiche costruttive e sulla logica lineare Ingegneria del Software e verifica formale
Formal languages and automata theory
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