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.
Pagina Web personale
http://profs.scienze.univr.it/~zorzi/

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.

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 Advanced course in foundations of mathematics (2024/2025)   6    3 
Laurea in Informatica Algebra e matematica di base [Matricole dispari] (2024/2025)   6    6 
Laurea magistrale in Artificial Intelligence Logic in AI (2024/2025)   6    6 
Laurea magistrale in Mathematics 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 Logica [Matricole dispari] (2023/2024)   6  eLearning 6 
Laurea magistrale in Artificial Intelligence Logic in AI (2023/2024)   6  eLearning 6 
Laurea magistrale in Mathematics Advanced course in foundations of mathematics (2022/2023)   6  eLearning 2 
Laurea in Informatica Logica [Matricole dispari] (2022/2023)   6  eLearning 6 
Laurea in Biotecnologie Matematica e statistica (2022/2023)   12  eLearning 6  (Matematica Mod. 1)
Laurea in Informatica Algebra lineare (2021/2022)   6  eLearning 1 
Laurea in Biotecnologie Matematica e statistica (2021/2022)   12  eLearning 6  (Matematica Mod. 1)
Laurea magistrale in Mathematics Mathematical logic (2021/2022)   6  eLearning 6 
Laurea in Scienze della comunicazione Informatica documentale (i) (2020/2021)   6  eLearning 6 
Laurea magistrale in Editoria e giornalismo Informatica e produzione multimediale (m) (2020/2021)   12  eLearning 4  II MODULO PARTE (P)
Laurea in Scienze della comunicazione Informatica documentale (i) (2019/2020)   6  eLearning 6 
Laurea magistrale in Editoria e giornalismo Informatica e produzione multimediale (m) (2019/2020)   12  eLearning 4  II MODULO PARTE (P)
Laurea in Scienze della comunicazione Informatica documentale (i) (2018/2019)   6    6 
Laurea magistrale in Editoria e giornalismo Informatica e produzione multimediale (m) (2018/2019)   12  eLearning 4  II MODULO PARTE (P)
Laurea in Scienze della comunicazione Informatica documentale (i) (2017/2018)   6    6 
Laurea in Scienze della comunicazione Informatica documentale (i) (2016/2017)   6    6 
Laurea in Scienze della comunicazione Informatica documentale (i) (2015/2016)   6    6 
Laurea in Scienze della comunicazione 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 Informatica documentale (i) (2013/2014)   6    6 
Laurea magistrale in Ingegneria e scienze informatiche Algoritmi (2010/2011)   12    6  COMPLESSITÀ
6  ALGORITMI
Laurea in Scienze della comunicazione Informatica di base SC (i) (2010/2011)   6    6 
Laurea in Scienze della comunicazione Informatica documentale (i) (2010/2011)   6    6 
Laurea in Scienze della comunicazione 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 Informatica e statistica (2009/2010)   6    3  INFORMATICA

Per la comunità studentesca

Se sei già iscritta/o a un corso di studio, puoi consultare tutti gli avvisi relativi al tuo corso di studi nella tua area riservata MyUnivr.
In questo portale potrai visualizzare informazioni, risorse e servizi utili che riguardano la tua carriera universitaria (libretto online, gestione della carriera Esse3, corsi e-learning, email istituzionale, modulistica di segreteria, procedure amministrative, ecc.).
Entra in MyUnivr con le tue credenziali GIA: solo così potrai ricevere notifica di tutti gli avvisi dei tuoi docenti e della tua segreteria via mail e anche tramite l'app Univr.

MyUnivr

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. Algebra, Geometria e Logica Matematica
Models of computation
Computability Quantum and probabilistic computability. Implicit Complexity Theory. Algoritmi, Logica e teoria della computazione
Models of computation
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. Algebra, Geometria e Logica Matematica
Logic
Lambda Calculus Quantum and Probabilistic lambda calculi. Lambda calculus for Continuation Passing Style. Computational interpretation of modal proofs. Algoritmi, Logica e teoria della computazione
Logic
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à. Algebra, Geometria e Logica Matematica
Models of computation
Lambda Calculus Studio di versioni estese del lambda calcolo tipato, in particolare di sistemi di tipaggio probabilistici e della loro espressività. Algoritmi, Logica e teoria della computazione
Models of computation
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. Algebra, Geometria e Logica Matematica
Logic
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. Algoritmi, Logica e teoria della computazione
Logic
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
proof theory, Linear logic, Type theory Sequent calculi for modal, linear and temporal logics. Natural deduction systems for modal, linear and temporal logics. Labelled deductive systems. Type systems for CPS. Proof nets for linear and classical logics. Deductive systems for quantum computability. Algebra, Geometria e Logica Matematica
Logic
proof theory, Linear logic, Type theory Sequent calculi for modal, linear and temporal logics. Natural deduction systems for modal, linear and temporal logics. Labelled deductive systems. Type systems for CPS. Proof nets for linear and classical logics. Deductive systems for quantum computability. Algoritmi, Logica e teoria della computazione
Logic
proof theory, Linear logic, Type theory Sequent calculi for modal, linear and temporal logics. Natural deduction systems for modal, linear and temporal logics. Labelled deductive systems. Type systems for CPS. Proof nets for linear and classical logics. Deductive systems for quantum computability. 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. Algebra, Geometria e Logica Matematica
Models of computation
Quantum computation theory Quantum lambda calculi. Topological quantum computing. Quantum computational complexity. Theory of quantum computable functions. Quantum theory of interaction. Algoritmi, Logica e teoria della computazione
Models of computation
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. Algebra, Geometria e Logica Matematica
Semantics and reasoning
Semantics of Probabilistic Languages Costruzione di semantiche operazionali e denotazionali per linguaggi probabilistici mediante algebre lineari e astratte. Algoritmi, Logica e teoria della computazione
Semantics and reasoning
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 Algebra, Geometria e Logica Matematica
Formal languages and automata theory
Teoria della dimostrazione e teoria dei tipi Sistemi deduttivi e di tipo basati su logiche costruttive e sulla logica lineare Algoritmi, Logica e teoria della computazione
Formal languages and automata theory
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


Organizzazione

Strutture del dipartimento

Condividi