教学

2010/2011年《计算和复杂性》（安妮·阿卡德米奇·普雷森蒂：2010年9月)
红色子弹

ASD dall'ano accademico实验室2009/2010（安妮·阿卡德米奇·普雷森蒂：08/09，07/08, 06/07,05/06，04/05)
红色子弹

SICSI公司

根据Sistemi Aperti Verifica di Metodi Formali-Informatica的Dottorato di Ricerca-Salerno 22 e 29 Maggio 2006

Traccia公司2014-15年四重奏项目。
Risultati公司2014-15年第二个项目。
Risultati公司2014-15年primo项目。
Risultati公司2013-2014年计划。
新闻：Esame LASD 2015年2月。Risultati:Salzillo 25，Ioffredo 22，Racca 20。精化Gli altri sono riuslati不足。E’possibile visionere E/o registere il compito Lunedi’16 Marzo alle ore 14:00可能有远见。
新闻：Esame Calcolabilita’Marzo 2015。Prossimo appello（nuova数据）Martedi’17 Marzo ore 11:00 Studio 0F29-MSA。
新闻：Esame LASD di Gennaio 2015。Troise（20 con项目）、Martina Rescigno（24 con项目La registrazione，dell‘same e’prevsita per Giovedi’5 febbraio or 11:30。
Ricevimento:su appuntamento-工作室0f29 MSA（2015年3月）。

新闻：
第二个项目LASD con堆栈e代码.