BT

InfoQ Homepage Presentations Proving Algebraic Laws in Scala Using Stainless

Proving Algebraic Laws in Scala Using Stainless

Bookmarks
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.

Recorded at:

Jun 28, 2020

Hello stranger!

You need to Register an InfoQ account or or login to post comments. But there's so much more behind being registered.

Get the most out of the InfoQ experience.

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Community comments

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

BT

Is your profile up-to-date? Please take a moment to review and update.

Note: If updating/changing your email, a validation request will be sent

Company name:
Company role:
Company size:
Country/Zone:
State/Province/Region:
You will be sent an email to validate the new email address. This pop-up will close itself in a few moments.