Talks

• Formal verification of Scala programs with Stainless

  October 2019

  Slides
  Scala Romandie Meetup, Lausanne
  

• Formal verification of Scala programs with Stainless

  June 2019

  Slides · Video
  Typelevel Summit Lausanne
  

• Refine your types!

  May 2018

  Slides
  Formal Methods & Verified Software Meetup, EPFL
  

• Formal verification of Scala code with Leon

  August 2015

  Slides
  Tokyo University
  

• Rust Workshop

  November 2014

  Slides
  EPFL, Lausanne
  
  Co-presented with Dimiter Petrov