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., 2018, TSFC: A STRUCTURE-PRESERVING FORM COMPILER, Siam Journal on Scientific Computing, Vol:40, ISSN:1064-8275, Pages:C401-C428
Luporini F, Ham DA, Kelly PHJ, 2017, An Algorithm for the Optimization of Finite Element Integration Loops, Acm Transactions on Mathematical Software, Vol:44, ISSN:0098-3500
et al., 2017, Firedrake: Automating the Finite Element Method by Composing Abstractions, Acm Transactions on Mathematical Software, Vol:43, ISSN:0098-3500
et al., 2017, Towards self-verification in finite difference code generation, Pages:42-49
et al., 2017, Devito: Automated fast finite difference computation, Pages:11-19