Andrea is a post-doctoral researcher in the Department of Computing at Imperial College London, where he works in the Software Reliability Group. Andrea’s research interests include software testing and analysis, software redundancy, and search-based software engineering.

Andrea was a PhD student at Università della Svizzera Italiana (USI) Switzerland, under the supervision of Prof. Mauro Pezzè and Prof. Antonio Carzaniga.

Group Publications

  • Accelerating Array Constraints in Symbolic Execution

    David M. Perry, Andrea Mattavelli, Xiangyu Zhang, Cristian Cadar

    International Symposium on Software Testing and Analysis (ISSTA 2017)