Update index.html adding Chalmers background

guilhermehas · Oct 1, 2023 · 7d93198 · 7d93198
1 parent a94ebd0
commit 7d93198
Showing 1 changed file with 3 additions and 2 deletions.
diff --git 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>