I received my Bachelor's degree and my Master's degree in Computer Engineering in 2006 and 2009 respectively from the University of Pisa, Pisa, Italy. I am currently a Ph.D. student at the Department of Information Engineering of the University of Pisa.
|
Professional activity:
2012
Technical Program Committee Member of: The Third International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking (COMPUTATION TOOLS 2012)
Paper reviewer of: Mosharaka International Conference on Systems, Modeling and Design (MIC-SMD2012).
2011
Paper reviewer of: Mosharaka International Conference on Communications and Signal Processing (MIC-CSP2011).
Paper reviewer of: 13th European Workshop on Dependable Computing (EWDC2011).
Paper reviewer of: Mosharaka International Conference on Computing and Artificial Intelligence (MIC-CAI2011).
2010
Paper reviewer of: Mosharaka International Conference on Communications, Networking and Information Technology (MIC-CNIT2010).
|
Research activity:
My research interests are:
1) Dependability Analysis of FPGA based Systems.
2) Testing/Diagnosing/Untestability Proof of Fail-Safe systems implemented in FPGA chips.
3) Modelling of dynamic systems
Publications
|
Teaching Activity:
Fondamenti di Informatica e Programmazione a Oggetti (In Italian)
Past Projects:
I have been one of the authors of the SecMOOS publish/subscribe middleware.