Discover the foundations of computer science

Learn more about fundamental topics in computer science, including logic, programming language theory, and program correctness.

Free and open-access courses
Keep up-to-date with technical articles

Recent articles

A sound and complete proof system for separation logic (part 1)

A novel proof system for separation logic is explained.

Hans-Dieter A. Hiep, Frank S. Boer

On invariance and inconsistency

Program correctness is not easy: the requirements of a program may be inconsistent, or there may not even exist a correct program that satisfies the requirements. This…

Hans-Dieter A. Hiep

Can the Collatz conjecture be proven, or not?

We review a recent preprint article about the Collatz conjecture. The Collatz conjecture is a more than eighty years old problem that is still unsolved.

Hans-Dieter A. Hiep

What is an education?

This article describes what I think is the essence of education.

Hans-Dieter A. Hiep

Correctness of two sorting algorithms

This article describes two sorting algorithms (gnome sort and bozosort) and gives their correctness proof in full detail.

Hans-Dieter A. Hiep

Can ChatGPT do an exam?

In this article we have a look at ChatGPT’s answers to the final exam of a course I taught in 2022.

Hans-Dieter A. Hiep