Links to other websites

Some of the recent talks I've given :

 

 

"Automatically proving equivalence by type-safe reflection" : Talk given at Scottish Theorem Proving (STP), 7th October 2015

 

My slides are available here : Slides type-safe reflection - talk at STP - October 2015 .

 

 

"Automatically proving equalities (and more) - An advocacy for normalisation" : Talk given at the University of St Andrews, 11th February 2015

 

My slides are available here : Slides normalisation - talk at St Andrews - February 2015 .

 

 

"Reasoning about infinite objects - A praise of laziness" : Talk given at the University of St Andrews, 28th February 2013

 

My slides are available here : Slides coinduction - talk at St Andrews - February 2013 .