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>