/phd/2025/05/30/reading-code.html 2025-05-30T00:00:00+01:00 /phd/2025/10/20/one-year.html 2025-10-20T00:00:00+01:00 /phd/2025/10/24/blessed-emdash.html 2025-10-24T00:00:00+01:00 /about.html /blog.html / /news.html /pubs.html /assets/files/curriculum_vitae.pdf 2025-04-30T13:10:24+01:00 /page.html 2025-05-12T13:35:11+01:00 /papers/2025-ITICSE-DC.pdf 2025-04-25T14:38:09+01:00 /papers/2025-Koli-BLV-Position.pdf 2025-10-10T20:08:14+01:00