Margherita Zorzi

Margherita Zorzi,  November 26, 2015
Position
Temporary Assistant Professor
Academic sector
INF/01 - INFORMATICS
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
 Ogni mercoledì 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: 15.
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 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  eLearning 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    COMPLESSITÀ
ALGORITMI
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   

 

Research groups

Logica
Logica in matematica ed informatica.
QUILAB
The Quantum Informatics Laboratory (QUILAB) brings together researchers from the computer science and physics departments to work on fundamental issues in quantum computation, quantum algorithms and quantum information processing.
Skills
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