A sound and complete proof system for separation logic (part 1)Download the PDF version of this article.soundness-completeness-separation-logic-part1.pdf292 KB.a{fill:none;stroke:currentColor;stroke-linecap:round;stroke-linejoin:round;stroke-width:1.5px;}download-circleIntroduction In this article we have another look at the proof system for separation logic that is introduced in the first author’s PhD thesis: New Foundations for

On Invariance and InconsistencyDownload the PDF version of this article.invariance-inconsistency.pdf301 KB.a{fill:none;stroke:currentColor;stroke-linecap:round;stroke-linejoin:round;stroke-width:1.5px;}download-circle How can you explain important concepts from program correctness in a simple and intuitive manner? In this blog post, we shall have a look at some puzzles and analyze them from the perspective of program correctness.

Can the Collatz conjecture be proven, or not?Download the PDF version of this article.collatz.pdf236 KB.a{fill:none;stroke:currentColor;stroke-linecap:round;stroke-linejoin:round;stroke-width:1.5px;}download-circle In 1937, shortly after the mathematician Lothar Collatz obtained his doctorate, he wrote down a problem in his notebook that later became known as Collatz’ problem or the \((3x+1)\)-problem . The problem is

In university, one sees students attending lectures and labs, working together on assignments, and doing exams. But—standing still for a moment—what is the purpose of all this business? The answer involves education, in the sense that students are being educated. But what is an education, precisely? In this blog post, I will summarize my views on the matter. Some say that an education is more than professional training.

Correctness of Two Sorting AlgorithmsDownload the PDF version of this article.two-sorting-algorithms.pdf200 KB.a{fill:none;stroke:currentColor;stroke-linecap:round;stroke-linejoin:round;stroke-width:1.5px;}download-circle On Wednesday, 8th of March, 2023, I gave a lecture about two sorting algorithms for the course Program Correctness (see also the lecture series on YouTube, available only in Dutch). Then, due to limited time, I only discussed a

In this post, I'll publish the answers given by OpenAI's ChatGPT for the final exam of the course Concepts of Programming Languages, a course I gave in the fall semester of 2022.