I am a Computer Scientist at SRI International since September 2022. Earlier, I was an Applied Scientist at Amazon Web Services from April 2021 to September 2022. From May 2019 to April 2021, I was a Postdoc Researcher in Clark Barrett ’s Group at Stanford University . Before that, I was a Postdoc Researcher at Fondazione Bruno Kessler , Embedded Systems Unit , led by Alessandro Cimatti . I recieved my PhD in May 2018 from University of Trento , under the supervision of Alessandro Cimatti , Roberto Sebastia
List of publications
Published with GitHub Pages