Margherita Zorzi

  1. Home
  2. Department
  3. People
  4. Margherita Zorzi
Margherita Zorzi, November 3, 2021
Position
Temporary Assistant Professor
Academic sector
MAT/01 - MATHEMATICAL LOGIC
Research sector (ERC)
F.4 - MATHEMATICAL LOGIC AND FORMAL LANGUAGES

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

Office
Ca' Vignal 2,  Floor 1,  Room 80
Telephone
+39 045 802 7908
E-mail
margherita|zorzi*univr|it <== Replace | with . and * with @ to have the right email address.
Personal web page
http://profs.sci.univr.it/~zorzim/

Office Hours

Wednesday, Hours 3:00 PM - 5:00 PM,   Ca' Vignal 2, Floor 1, room 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

Modules

Modules running in the period selected: 25.
Click on the module to see the timetable and course details.

Course Name Total credits Online Teacher credits Modules offered by this teacher
Bachelor's degree in Computer Science Linear Algebra (2021/2022)   6    1 
Master's degree in Mathematics Mathematical logic (2021/2022)   6  eLearning 6 
Bachelor's degree in Biotechnology Mathematics and statistics (2021/2022)   12  eLearning 6  (Matematica Mod. 1)
PhD in Computer Science Teoria dei Tipi per i Linguaggi di Programmazione (2021/2022)   3    3 
Bachelor’s degree in Communication Studies Documental Information Technology (i) (2020/2021)   6  eLearning 6 
Master’s degree in Publishing and Journalism Informatics and multimedia production (m) (2020/2021)   12  eLearning 4  II MODULO PARTE (P)
PhD in Computer Science Type Theory and Programming Languages (2020/2021)   3    3 
Bachelor’s degree in Communication Studies Documental Information Technology (i) (2019/2020)   6  eLearning 6 
Master’s degree in Publishing and Journalism Informatics and multimedia production (m) (2019/2020)   12  eLearning 4  II MODULO PARTE (P)
PhD in Computer Science Attività didattica dottorato (2019/2020)   50  eLearning 1 
Bachelor’s degree in Communication Studies Documental Information Technology (i) (2018/2019)   6    6 
Master’s degree in Publishing and Journalism Informatics and multimedia production (m) (2018/2019)   12  eLearning 4  II MODULO PARTE (P)
Bachelor’s degree in Communication Studies Documental Information Technology (i) (2017/2018)   6    6 
Bachelor’s degree in Communication Studies Documental Information Technology (i) (2016/2017)   6    6 
Bachelor’s degree in Communication Studies Documental Information Technology (i) (2015/2016)   6    6 
Bachelor’s degree in Communication Studies Documental Information Technology (i) (2014/2015)   6    6 
TFA A042 Computer science (secondary school) Sistemi informativi e sicurezza (2014/2015)   6  eLearning 2  FONDAMENTI
Bachelor’s degree in Communication Studies Documental Information Technology (i) (2013/2014)   6    6 
Master's degree in Computer Science and Engineering Algorithms (2010/2011)   12    6  COMPLESSITÀ
6  ALGORITMI
Bachelor’s degree in Communication Studies Basic Information Technology SC (i) (2010/2011)   6    6 
Bachelor’s degree in Communication Studies Documental Information Technology (i) (2010/2011)   6    6 
Bachelor’s degree in Communication Studies Basic Information Technology SC (i) (2009/2010)   6    6 
Bachelor's degree in Viticultural and Oenological Science and Technology Computer science and statistics (2009/2010)   6    3  INFORMATICA
Degree in Communication Science: publishing and journalism Documental Information Technology (p) (2009/2010)   6    6 

 
 

Research groups

Logica
Logica in matematica ed informatica.
The Quantum Informatics Laboratory - QUILAB
The Quantum Informatics Laboratory
Research interests
Topic Description Research area
Computability Quantum and probabilistic computability. Implicit Complexity Theory. Theory of computation
Models of computation
Lambda Calculus Quantum and Probabilistic lambda calculi. Lambda calculus for Continuation Passing Style. Computational interpretation of modal proofs. Theory of computation
Logic
Lambda Calculus Study of extended versions of the typed lambda calculus, in particular of probabilistic typing systems and their expressivity. Theory of computation
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. Theory of computation
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. Theory of computation
Logic
Quantum computation theory Quantum lambda calculi. Topological quantum computing. Quantum computational complexity. Theory of quantum computable functions. Quantum theory of interaction. Theory of computation
Models of computation
Semantics of Probabilistic Languages Construction of operational and denotational semantics via linear and abstract algebras. Theory of computation
Semantics and reasoning
Teoria della dimostrazione e teoria dei tipi Sistemi deduttivi e di tipo basati su logiche costruttive e sulla logica lineare Theory of computation
Formal languages and automata theory


Organization

Department facilities