Skip to main content

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
More information
Subscribe now
Discover the foundations of computer science

Most recent articles

 

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

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

— Research
On Invariance and Inconsistency

On Invariance and Inconsistency

— Lecture Notes
Can the Collatz conjecture be proven, or not?

Can the Collatz conjecture be proven, or not?

— Research
What is an education?

What is an education?

— Teaching
Correctness of Two Sorting Algorithms

Correctness of Two Sorting Algorithms

— Lecture Notes
Can ChatGPT do an exam?

Can ChatGPT do an exam?

— Teaching