Margherita Zorzi

  1. Home
  2. Dipartimento
  3. Persone
  4. Margherita Zorzi
Margherita Zorzi, 26 novembre 2015
Qualifica
Ricercatore a tempo determinato
Settore disciplinare
INF/01 - INFORMATICA
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 7908
E-mail
margherita|zorzi*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.
Pagina Web personale
http://profs.sci.univr.it/~zorzim/

Orario di ricevimento

mercoledì, Ore 15.00 - 17.00,   Ca' Vignal 2, piano 1, stanza 80
 Nel periodo di sospensione per emergenza sanitaria Corona Virus, ricevimento in modalità telematica via Skype, da concondare per email.
**********
Ogni giovedi' dalle 15 alle 17  Stanza 1.80, Ca' Vignal 2. Si prega di mandare una mail qualche giorno prima per concordare l'appuntamento.

Curriculum

Principali interessi di ricerca:
- Progettazione di linguaggi per la programmazione quantistica
- Sistemi formali per la descrizione della computazione quantistica
- Teoria dei linguaggi funzionali  (sistemi basati sul lambda calcolo) per le computazioni classiche, probabilistiche e non deterministiche
- Logiche modali e temporali: teoria della dimostrazione e applicazioni all'informatica (descrizione degli stati computazionali quantistici, descrizione dei dati semi strutturati,  rappresentazione della conoscenza)
- Natural language processing (trattazione automatica del linguaggio naturale) statistico: normalizzazione del testo, analisi di documenti, sentiment analysis

Insegnamenti

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

Corso Nome Crediti totali Online Crediti del docente Moduli svolti da questo docente
Laurea in Scienze della comunicazione Informatica documentale (i) (2020/2021)   6    6 
Laurea magistrale in Editoria e giornalismo Informatica e produzione multimediale (m) (2020/2021)   12    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  eLearning 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  ALGORITMI
6  COMPLESSITÀ
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

 

Gruppi di ricerca

Logica
Logica in matematica ed informatica.
QUILAB
Quantum Informatics Laboratory
Competenze
Argomento Descrizione Area di ricerca
Computability Quantum and probabilistic computability. Implicit Complexity Theory. Informatica teorica
Models of computation
Lambda Calculus Quantum and Probabilistic lambda calculi. Lambda calculus for Continuation Passing Style. Computational interpretation of modal proofs. Informatica teorica
Logic
Lambda Calculus Studio di versioni estese del lambda calcolo tipato, in particolare di sistemi di tipaggio probabilistici e della loro espressività. Informatica teorica
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. Informatica teorica
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. Informatica teorica
Logic
Quantum computation theory Quantum lambda calculi. Topological quantum computing. Quantum computational complexity. Theory of quantum computable functions. Quantum theory of interaction. Informatica teorica
Models of computation
Semantics of Probabilistic Languages Costruzione di semantiche operazionali e denotazionali per linguaggi probabilistici mediante algebre lineari e astratte. Informatica teorica
Semantics and reasoning
Teoria della dimostrazione e teoria dei tipi Sistemi deduttivi e di tipo basati su logiche costruttive e sulla logica lineare Informatica teorica
Formal languages and automata theory


Organizzazione

Strutture del dipartimento