InfoQ Homepage Presentations Proving Algebraic Laws in Scala Using Stainless
Proving Algebraic Laws in Scala Using Stainless
01:02:23
Summary
Viktor Kunčak overviews Stainless used to state and formally verify properties of functional programs written in Scala.
Bio
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.
Jun 28, 2020