Facilitating the Spread of Knowledge and Innovation in Professional Software Development

Write for InfoQ


Choose your language

InfoQ Homepage Presentations Proving Algebraic Laws in Scala Using Stainless

Proving Algebraic Laws in Scala Using Stainless



Viktor Kunčak overviews Stainless used to state and formally verify properties of functional programs written in Scala.


Viktor Kunčak is an Associate Professor in the School of Computer and Communication sciences of EPFL. He joined EPFL in 2007, after receiving a PhD degree from MIT. Since then he has been leading the EPFL Laboratory for Automated Reasoning and Analysis. His research goal is to increase software reliability through new algorithms and tools for verification, synthesis, and automated reasoning.

About the conference

For two days you are at the centre of the functional programming world. It is a place where academia meets industry, where research and practical application collide.

Recorded at:

Jun 28, 2020