From 7d9319888f942af642eeaee174da73f7b5be86f6 Mon Sep 17 00:00:00 2001
From: Guilherme Silva <guilhermehas@hotmail.com>
Date: Sun, 1 Oct 2023 10:00:17 -0300
Subject: [PATCH] Update index.html adding Chalmers background

---
 index.html | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/index.html b/index.html
index b96706e..dda1a72 100644
--- a/index.html
+++ b/index.html
@@ -9,8 +9,9 @@ <h2>Welcome</h2>
 <p>Welcome to my blog!</p>
 
 <p> I am a computer engineer fascinated with math, theorem provers, type theory, and logic.
-  I like to code in Agda, Lean, and Idris.
-  And after more than a year studying cubical type theory and theorem provers,
+  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>