Facilitating the spread of knowledge and innovation in professional software development



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.

We need your feedback

How might we improve InfoQ for you

Thank you for being an InfoQ reader.

Each year, we seek feedback from our readers to help us improve InfoQ. Would you mind spending 2 minutes to share your feedback in our short survey? Your feedback will directly help us continually evolve how we support you.

Take the Survey

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


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:
You will be sent an email to validate the new email address. This pop-up will close itself in a few moments.