Talks · Romac.me

v3@romac.me:/talks/

Formal verification of Scala programs with Stainless

October 2019 —Scala Romandie Meetup, Lausanne

[Slides]
Formal verification of Scala programs with Stainless

June 2019 —Typelevel Summit Lausanne

[Slides] [Video]
Refine your types!

May 2018 —Formal Methods & Verified Software Meetup, EPFL

[Slides]
Formal verification of Scala code with Leon

August 2015 —Tokyo University

[Slides]
Rust Workshop

November 2014 —EPFL, Lausanne

[Slides]

Co-presented with Dimiter Petrov

[CONNECTED] // LATENCY: 0ms // BUILD: 2026.03 // THEME: