Static Analyser by Abstract Interpretation: Wstat

Denis Mazzucato
Denis Mazzucato
Ph.D. Student

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

Francesco Parolini
Francesco Parolini
Ph.D. Student

I am a PhD Candidate in Computer Science at the Sorbonne University (Paris) under the supervision of Professor Antoine Miné, within the ERC MOPSA project.

Related