index.html

---
title: Home
---

<h2>Welcome</h2>

<img src="/images/haskell-logo.png" style="float: right; margin: 10px;" />

<p>Welcome to my blog!</p>

<p> I am a computer engineer fascinated with math, theorem provers, type theory, and logic.
  I like to prove theorems in Agda, Lean, Idris, and KeY.
  I am doing my PhD at Chalmers University, improving the SoldiKeY theorem prover.
  After more than a year of studying cubical type theory and theorem provers,
  I decided to create this blog to share my ideas and thoughts. </p>

<h2>Posts</h2>
$partial("templates/post-list.html")$

<p>…or you can find more in the <a href="/archive.html">archives</a>.</p>

<h2>Projects</h2>
$partial("templates/projects.html")$