Curriculum vitae (pdf, en, 50 KB, 10/23/13)
Curriculum vitae (pdf, en, 50 KB, 10/23/13)
Curriculum vitae (pdf, en, 50 KB, 10/23/13)
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
• M. Sc. in Computer Sci<strong>en</strong>ce, University of Verona. July 2009. Grade: 1<strong>10</strong>/1<strong>10</strong> cum laude.<br />
Thesis title: A methodology for automatic device driver g<strong>en</strong>eration<br />
Advisor Prof. F. Fummi<br />
• B.Sc. in Computer Sci<strong>en</strong>ce, University of Verona. July 2007. Grade: 1<strong>10</strong>/1<strong>10</strong> cum laude.<br />
Thesis title: An abstract-middleware based methodology for the design of networked embedded systems<br />
Advisor Prof. F. Fummi<br />
• Sci<strong>en</strong>tific high school diploma at Liceo A. Messedaglia, Verona. 2004. Grade: <strong>10</strong>0/<strong>10</strong>0 cum laude.<br />
VISITING EXPERIENCES<br />
September - November 20<strong>13</strong><br />
Visiting scholar at the University of Southampton.<br />
Hosting professor: Prof. M. Zwolinski.<br />
Project title: Formal modeling of analog circuit descriptions with VHDL-AMS and Verilog-AMS to gain<br />
C++ code g<strong>en</strong>eration.<br />
Sponsored by a CooperInt grant from the University of Verona.<br />
June - December 2011<br />
Visiting scholar at the University of Michigan.<br />
Hosting professor: Prof. V. Bertacco.<br />
Project title: Effici<strong>en</strong>t simulation of SystemC systems on GPGPUs.<br />
SUMMER SCHOOLS<br />
• SWING, School on Security of Wireless Networking, 20<strong>10</strong>.<br />
• Mobile Computing and Communications: Towards the Next G<strong>en</strong>eration of Networks, J.T. Schwartz International<br />
School for Sci<strong>en</strong>tific Research. 20<strong>10</strong>.<br />
• ARTIST Summer School in Europe, Artist European Network of Excell<strong>en</strong>ce on Embedded Systems.<br />
20<strong>10</strong>.<br />
SCHOLARSHIPS AND RESEARCH AWARDS<br />
• CooperInt (COOPERazione INTernazionale) cooperation grant from the University of Verona to support<br />
the stay at University of Southampton. 2012.<br />
• Travel awards from ACM and SigDa to att<strong>en</strong>d both the the annual ACM/SigDa PhD Forum at ACM/IEEE<br />
Design Automation & Test in Europe Confer<strong>en</strong>ce (DATE), 2012, and at the annual ACM/SigDa PhD<br />
Forum at ACM/IEEE Design Automation Confer<strong>en</strong>ce (DAC), 2012.<br />
• Best paper award at the IEEE Forum on Design Languages in 2011 for the paper Effici<strong>en</strong>t implem<strong>en</strong>tation<br />
and abstraction of SystemC data types for fast simulation.<br />
• Premio di Laurea AICA - Confindustria Servizi Innovativi e Tecnologici grant for the value of the master<br />
thesis in terms of applicability in the Italian industrial context. 20<strong>10</strong>.<br />
• E.S.U. grant from the University of Verona to att<strong>en</strong>d a course of English grammar and culture at the<br />
Nottingham Tr<strong>en</strong>t University (Nottingham, England, UK). 2005.<br />
2