Languages all the way down

It is often said that programming, due to being a young discipline, has a big split between theory and practice - both of these seem to develop in their own direction and accuse the other of lagging behind. In this talk, I'd like to share with you my various attempts to navigate the gap between the two sides of programming guided by formal logic and strongly typed languages - in particular, OCaml, Scala, Idris and Coq. We'll see some lessons I've learned along the way, such as the need for trustworthiness, the importance of compositionality and the challenge of interaction.

SPEAKER

Alex Gryzlov is a research software engineer at the IMDEA Software Institute in Madrid, working on the formal verification of pointer-manipulating programs. He's been professionally programming since 2005, bouncing back and forth between industry and academia, having worked in backend development, data engineering, bioinformatics, and, most recently, formal methods.

HOST

Celonis will serve food and drinks after the talk. Celonis is the global leader in execution management. The Celonis Execution Management System provides companies a modern way to run their business processes entirely on data and intelligence. We pioneered the process mining category 10 years ago and continue to drive innovation towards our mission of helping companies change the way they work, so we can all do our part to ensure a better future for all.
Celonis is one of the fastest growing technology companies ever and we believe that we need to build the best teams to continue with a healthy growth. We currently have strong Engineering teams in Germany, Spain and the US, ranging work on frontend, backend, AI, Big Data and other related disciplines. We deal with Engineering challenges that need innovative solutions across our entire technology stack, from multi-cloud to database systems to real-time data streaming to our end-user experience. If you find it motivating to solve very tough challenges we might have an interesting opportunity for you.