Skip to main content

Articles

A collection of articles on topics related to foundations of computer science, including logic, programming language theory, and program correctness.

Lecture Notes

— 2 posts
View all
On Invariance and Inconsistency

On Invariance and Inconsistency

Correctness of Two Sorting Algorithms

Correctness of Two Sorting Algorithms

Research

— 2 posts
View all
A sound and complete proof system for separation logic (part 1)

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

Can the Collatz conjecture be proven, or not?

Can the Collatz conjecture be proven, or not?

Teaching

— 2 posts
View all
What is an education?

What is an education?

Can ChatGPT do an exam?

Can ChatGPT do an exam?