Skip to main content

Research

Articles about novel or existing research topics in (theoretical) computer science.

— A collection of 3 posts
June 2024

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

November 2023

Can the Collatz conjecture be proven, or not?