Slides;
Relazione terzo anno: File
pdf;
PhD thesis: pdf file, Slides;
Other related activities
Proposed Seminars
June 18,
2004: Proving abstract non-interference, 3rd Meeting on
Constraint-based Verification of Reactive systems, Parma;
March 9,
2004: Deriving and Proving abstract non-interference,
Dipartimento di Informatica, Universita' di Verona;
February 20,
2004: Deriving and Proving abstract non-interference, Ecole
Normale Superieure, Paris;
December 15,
2003: Abstract Non-Interference, Parameterizing
non-interference by abstract interpretation, Department of
Computing, City University, London;
December 5, 2003:
Abstract Non-Interference, Parameterizing non-interference by abstract interpretation,
Dipartimento di Matematica Pura ed Applicata, Universita' di Padova;
November 22, 2002:
Domain Compression for Complete Abstractions,
Giornate di lavoro su validazione di sistemi informatici (Validation 2002),
Genova, Italy;
November 11, 2002:
Abstract Model Checking,
Dipartimento di Informatica,
Universita' di Verona;
June 28, 2002:
Handling the puzzle of semantics (including the paper `
Non-standard semantics for program manipulation''),
Ecole Normale Superieure, Paris;
April 30, 2002:
Introduction to game semantics,
Dipartimento di Informatica,
Universita' di Verona;
March 8, 2002:
Handling the puzzle of semantics,
Dipartimento di Matematica Pura ed Applicata,
Universita' di Padova;
March 9, 2001:
Numerical power analysis,
Dipartimento di Matematica Pura ed Applicata,
Universita' di Padova;
Attended seminars
May 25,
2004: Computing Aggregate Funtions on Large-Scale Distributed Systems
, (Universita' di Bologna) Alberto Montresor - Dipartimento di
Informatica, Universita' di Verona;
May 12,
2004: Fondazioni Insiemistiche della Matematica Costruttiva
, (Universita' di Firenze) Dr. Laura Crosilla - Dipartimento di
Informatica, Universita' di Verona;
April 27,
2004: Timed Interfaces: A Behavioral Type System for
Component-based Design , (University of California at Santa Cruz )
Dr. Marielle Stoelinga - Dipartimento di Informatica, Universita' di
Verona;
April 20,
2004: Un calcolo delle continuazioni, duale del
lambda-calcolo, tipato in Logica Bi-Intuizionistica Polarizzata.
, (Universita' di Verona) Dr. Gianluigi Bellin - Dipartimento di
Informatica, Universita' di Verona;
April 5,
2004: Games for a Spatial Logic
, (Universita' di Pisa) Prof. Giorgio Ghelli -
Dipartimento di Informatica, Universita' di Verona;
March 31,
2004: Secure Information Flow for a Sequential Java Virtual Machine
, (INRIA Sophia Antipolis, France) Tamara Rezk -
Dipartimento di Informatica, Universita' di Verona;
March 2,
2004: Goal-Independent Suspension Analysis for Logic Programs
with Dynamic Scheduling, (University of Kent, GB) Dr. Andy King -
Dipartimento di Informatica, Universita' di Verona;
February 24,
2004: P Systems e Reti di Petri, (University of Nice, France)
Dr. Enrico Formenti - Dipartimento di Informatica, Universita' di
Verona;
January 27,
2004: Using functional verification to evaluate the accuracy
of model checking applied to embedded systems: theory and
application, (Dipartimento di Informatica, Universita' di Verona)
Dr. Graziano Pravadelli - Dipartimento di Informatica, Universita' di
Verona;
January 27, 2004:
L'approccio geometrico alla Visione Computazionale:
teoria ed applicazioni,
(Dipartimento di Informatica, Universita' di Verona) Dr. Andrea Fusiello -
Dipartimento di Informatica, Universita' di Verona;
January 20, 2004:
Validating the dynamics and control of space robotic systems by on-the-ground testing in simulated micro-gravity,
(Department of Mechanical and Astronautical Engineering, US Naval Postgraduate School, Monterey, California, USA) Dr. Marcello Romano -
Dipartimento di Informatica, Universita' di Verona;
October 30, 2003:
Analisi statica precisa del pi-calcolo in tempo cubico,
(Universita' di Padova) Prof. Gilberto File' -
Dipartimento di Matematica Pura ed Applicata, Universita' di Padova;
October 7, 2003:
VIPS research and applications: the Vision-ary perspective,
(Universita' di Verona) Prof. Vittorio Murino -
Dipartimento di Informatica, Universita' di Verona;
September 9, 2003:
Subtractive Logic (aka dual intuitionistic logic),
( Universite' de Paris XII) Dr. Tristan Crolard -
Dipartimento di Informatica, Universita' di Verona;
September 2, 2003:
Sistemi di interazioni visio-aptiche ed applicazioni alla medicina,
(Dipartimento di Ingegneria dell'Informazione, Universita' degli Studi di
Siena) Prof. Domenico Prattichizzo -
Dipartimento di Informatica, Universita' di Verona;
July 1, 2003:
Sistemi cooperativi e sistemi di gestione di workflow
,
(Dipartimento di Elettronica e Informazione - Politecnico di Milano)
Dr. Giuseppe Pozzi -
Dipartimento di Informatica, Universita' di Verona;
June 24, 2003:
Optimal Points for Multivariate Polynomial Interpolation,
(University of Calgary, Canada)
Prof. Leonard Peter Bos -
Dipartimento di Informatica, Universita' di Verona;
June 17, 2003:
Tight frames and their symmetries,
(Department of Mathematics University of Auckland),
Dr. Shayne Waldron -
Dipartimento di Informatica, Universita' di Verona;
June 10, 2003:
Alcuni attacchi ad RSA,
(Universita' degli Studi di Firenze ),
Prof. Orazio Puglisi -
Dipartimento di Informatica, Universita' di Verona;
June 4, 2003:
La microingegneria e le nanotecnologie: le due nuove frontiere della scienza applicata ai processi innovativi,
(Universita' di Verona),
Prof. Emilio Burattini -
Dipartimento di Informatica, Universita' di Verona;
June 3, 2003:
Description Logics for Ontologies,
(Technische Universitaet Dresden),
Dr. Ulrike Sattler -
Dipartimento di Informatica, Universita' di Verona;
May 27, 2003:
Un approccio modulare e minimalista alla logica matematica:
alcuni benefici ,
(Universita' di Padova), Prof. Giovanni Sambin -
Dipartimento di Informatica, Universita' di Verona;
April 29, 2003:
Modelli e dinamiche su stringhe,
(Universita' di Verona), Prof. Vincenzo Manca -
Dipartimento di Informatica, Universita' di Verona;
April 15, 2003:
An Introduction to Quantum Computation,
(Universita' di Pisa), Alessandra Di Pierro -
Dipartimento di Informatica, Universita' di Verona;
March 18, 2003:
Mutua interpretabilita` di logiche di colorazioni di grafi,
(Universita' di Verona), Prof. Giuseppe Scollo -
Dipartimento di Informatica, Universita' di Verona;
February 27, 2003:
Cellular models based on Automata,
(National University of Singapore), Prof. Gabriel Ciobanu -
Dipartimento di Informatica, Universita' di Verona;
February 25, 2003:
Numerical Analysis and Scientific Computing,
(Technische Universitaet Muenchen), Dr. Armin Iske -
Dipartimento di Informatica, Universita' di Verona;
February 11, 2003:
Un solutore di tipo Nystroem-Broyden-Chebyshev
per equazioni integrali nonlineari, Alvise Sommariva
(Univ. Padova) - Dipartimento di Informatica, Universita' di
Verona;
November 19, 2002:
Strumenti logici per l'analisi della riduzione ottimale dei linguaggi
funzionali, Prof. Simone
Martini (Univ. Bologna) - Dipartimento di Informatica, Universita' di
Verona;
November 11, 2002:
Dalla logica all'implementazione dei linguaggi funzionali, Prof.
Stefano Guerrini (Univ. Roma La Sapienza) -
Dipartimento di Informatica, Universita' di
Verona;
September 30, 2002:
Making Abstract Model Checking Strongly Preserving, Francesco Tapparo
(U. Padova & U. Milano) - Dipartimento di Informatica, Universita' di Verona;
June 21, 2002:
From Secrecy to Authenticity in Security Protocols, Bruno Blanchet
(ENS) - ENS, Paris;
June 7, 2002:
SoC - Systems on Chip, Renaud Pacalet (ENST) -
ENS, Paris;
May 31, 2002:
From Logic to Stochastic Processes,
Prakash Panangaden (McGill University) -
ENS, Paris;
May 17, 2002:
An Algebraic View of Computational Effects,
Gordon Plotkin (Laboratory for Foundations of Computer Science, Edinburgh) -
ENS, Paris;
May 17, 2002:
Automatic Verification of Parameterized Systems,
Lenore Zuck (NYU, New York) - ENS, Paris;
April 17, 2002:
Logica in informatica: un punto di vista molto soggettivo,
Prof. Andrea Masini (DI, Universita' di Verona)-
Dipartimento di Informatica, Universita' di Verona;
April 11, 2002:
An Interval Constraint System for Lattice Domains,
Dr. Patricia Hill (School of Computing, Leeds, UK)-
Dipartimento di Informatica, Universita' di Verona;
April 5, 2002:
Ambient Calculus: language and types,
Dott.ssa Linda Brodo (DI, Universita' di Verona)-
Dipartimento di Informatica, Universita' di Verona;
February 28, 2002:
Metodi topologici ed algebrici nel lambda calcolo,
Prof. Antonino Salibra (DI, Ca' Foscari di Venezia)-
Dipartimento di Informatica, Universita' di Verona;
February 22, 2002:
Verifica di Algoritmi Distribuiti Probabilistici,
Prof. Roberto Segala (DI, Universita' di Verona)-
Dipartimento di Matematica Pura ed Applicata,
Universita' di Padova;
February 13,
2002:
Automated Reasoning in Artificial Intelligence:
Recent Results in Strategy Analysis,
Prof.ssa Maria Paola Bonacina (DCS, University of Iowa)-
Dipartimento di Informatica, Universita' di Verona;
November 19, 2001:
Formal methods for mobile computation,
Dott. Massimo Merro (DI, Universita' del Sussex) -
Dipartimento di Informatica,
Universita' di Verona;
October 12, 2001:
Security Analysis using Flow Logics,
Dott.ssa Chiara Bodei (DI, Universita' di Pisa)-
Dipartimento di Matematica Pura ed Applicata,
Universita' di Padova;
Reviews for conferences
1 paper
reviewed for the 11th International Conference on Tools and
Algorithms for the Construction and Analysis of Systems (TACAS'05);
3 papers
reviewed for the 6th International Conference on
Verification, Model Checking and Abstract Interpretation (VMCAI'05);
2 papers reviewed
for the
11th International Static Analysis Symposium
(SAS '04);
1 paper
reviewed for the 10th International Conference on Algebraic
Methodology And Software Technology (AMAST 2004);
1 paper reviewed
for the
10th International Static Analysis Symposium
(SAS '03);
3 papers reviewed
for the
9th International Static Analysis Symposium
(SAS '02);
Related Links
International and national
schools;
PhD in the
University of Verona - Dipartimento di Informatica;
Seminars in Paris -
Ecole Normale Superieure -, and in Verona -
Dipartimento di Informatica;
Advices for a good PhD;
Click here to return to my