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)

26 min

A novel proof system for separation logic is explained.

Hans-Dieter A. Hiep, Frank S. Boer

Jun 29, 2024

On invariance and inconsistency

24 min

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

Feb 16, 2024

Can the Collatz conjecture be proven, or not?

24 min

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

Nov 1, 2023