Formalization of Composition of Monads

Formalization of Composition of Monads by Mark P. Jones and Luc Duponcheel, under the supervision of Dr. Jasmin Blanchette

Denis Mazzucato
Denis Mazzucato
Ph.D. Student

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

Jasmin Blanchette
Jasmin Blanchette
Assistant Professor

I am an assistant professor in Theoretical Computer Science at the Vrije Universiteit Amsterdam. I am also a guest researcher in the VeriDis group at …