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/~zorzi/

Office Hours

Tuesday, Hours 2:00 PM - 4:00 PM,   Ca' Vignal 2, Floor 1, room 80

Ogni martedi' dalle 14 alle 16  Stanza 1.80, Ca' Vignal 2. Si prega di mandare una mail qualche giorno prima per concordare l'appuntamento.

Per le persone lavoratrici: mandare una email per concordare eventuali orari alternativi.

 Nei periodi di sospensione per emergenza sanitaria Corona Virus, ricevimento in modalità telematica via Zoom, da concondare per email.


 

Curriculum

Principali interessi di ricerca:

- Teoria della Dimostrazione.


- 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

Modules

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

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

News for students

There you will find information, resources and services useful during your time at the University (Student’s exam record, your study plan on ESSE3, Distance Learning courses, university email account, office forms, administrative procedures, etc.). You can log into MyUnivr with your GIA login details: only in this way will you be able to receive notification of all the notices from your teachers and your secretariat via email and soon also via the Univr app.

MyUnivr
 

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

Share