Research on "Formal Methods in Computing"
RESEARCH
- Publications:
Papers (by date),
Papers (by kinds).
- Conferences and Meetings:
ITRS 2012,
IC0901-meeting 2011,
LSFA 2011,
LSFA 2010, Linearity
2009 , RDP09: TLCA
2009, LSFA
2009, LSFA
2008 .
- Summer Schools Teaching: International
School on Rewriting - ISR'09 (Brazil, 2009) (Slides
-- 29 June 2009),
International Summer School Chambery-Torino 2006
(Slides).
- Editing: Problem List -
TLCA , Special
Issue of "Logical Methods in Computer Science", Special Issue of Fundamenta Informaticae with Silvia Ghilezan.
- Projects:
Rich Model Toolkit - IC0901 ,
CONCERTO, TYPES,
FOLLIA, DART, PROTOCOLLO, APPSEM2,
COMETA,
TOSCA, LINEAR.
- Interest: Mathematical
Study of Syntax and Semantics
of Programming Languages and Logics.
TEACHING
- Insegnamento:
CCS Informatica e
CCS Matematica per la Finanza .
- Proposte di Tesi:
-
Disegno di Spazi
coerenti attraverso l'utilizzo di GraphViz per l'ambiente LATEX;
-
Safe vs. unsafe high-recursion schemes: semantic approaches to the problem.
-
Studio di modelli del lambdaY-calcolo per la verifica del software.
-
Studio di
modelli
logici di linguaggi per linguaggi tipati.
-
Studio dell'espressività di spazi funzionali basati su elementi primi (spazi coerenti, ipercoerenti, prime-continui)
attraverso la costruzione dei corrispondenti linguaggi di programmazione, in termini di universalita e definibilita di insiemi di primi
-
Analisi di un predicato impredicativo per lo sviluppo di prove nel lambda
calcolo parametrico
-
Lambda calcoli per la gestione esplicita di IO ed effetti in generale.
- Classes:
Semantica dei Linguaggi di Programmazione (2011/2012),
Informatica (2011/2012),
Supporto al corso di Linguaggi Formali e Traduttori (2010/2011),
Corso di Programmazione II e Laboratorio (2009/2010),
Corso di Programmazione II e Laboratorio (2008/2009),
Corso di Programmazione II e Laboratorio (2007/2008),
Corso di Programmazione II e Laboratorio (2006/2007),
Corso di Programmazione II e Laboratorio (2005/2006),
PERL per BioInformatici -- 2006, PERL per BioInformatici -- 2005.
Miscellaneous
- Science: DBLP-HomePage,
DBLP-AuthorSearch,
Conferences
Search, DBbibTeX,
Citeseer, MathSciNet
, ACM Portal;
- Journey: Die
Bahn, Trenitalia,
Google Map, MoneyConverter;
- OS support: Android, Freshmeat ,
TuxMobil, Pluto-ILDP, Laptop.
|
