diff --git a/src/content/partials/shortBio.md b/src/content/partials/shortBio.md
index 36a9b86..6b4cfb7 100644
--- a/src/content/partials/shortBio.md
+++ b/src/content/partials/shortBio.md
@@ -1,5 +1,5 @@
 I'm a computer science master's student at the [University of Minnesota][1], advised by [Favonia].
-My current research is in cubical type theory and synthetic homotopy theory.
+My current research is in programming languages and formal methods, specifically cubical type theory and synthetic homotopy theory.
 
 [1]: https://twin-cities.umn.edu/
 [favonia]: https://favonia.org/