Student Volunteer @ CAV 2021

Denis Mazzucato
Denis Mazzucato
Ph.D. Student

My research interests include formal methods of safety-critical software, specifically abstract interpretation applied to artificial intelligence