PhD (October 2012)
- PhD Student and Teaching Assistant at Imperial College London
Master Degree (September 2009 - December 2011)
- (Honours) 2-years program "Master in Computer Science and Networking", University of Pisa and Scuola Superiore Sant'Anna.
Bachelor Degree (September 2006 - July 2009)
- (Honours) 3-years program "Degree in Computer Science", University of Pisa.
et al., 2017, An Algorithm for the Optimization of Finite Element Integration Loops, Acm Transactions on Mathematical Software, Vol:44, ISSN:0098-3500, Pages:1-26
et al., 2017, Firedrake: Automating the Finite Element Method by Composing Abstractions, Acm Transactions on Mathematical Software, Vol:43, ISSN:0098-3500, Pages:1-27
et al., 2016, A structure-exploiting numbering algorithm for finite elements on extruded meshes, and its performance evaluation in Firedrake, Geoscientific Model Development, Vol:9, ISSN:1991-959X, Pages:3803-3815
et al., 2014, Cross-Loop Optimization of Arithmetic Intensity for Finite Element Local Assembly, Acm Transactions on Architecture and Code Optimization, Vol:11, ISSN:1544-3566, Pages:1-25
et al., 2014, Generalizing Run-Time Tiling with the Loop Chain Abstraction, Pages:1136-1145, ISSN:1530-2075