The 15-minute city is a dead end

We suggest using living spiders as cooling devices for data centers

Ac·12

Graded Modal Types for Memory and Communication Safety

Ac·6

Code-Specify-Test-Debug-Prove: Flexibly Integrating Separation Logic [pdf]

Ac·12

Nuclear Reactor Simulator

Ac·6