@@ 3,10 3,10 @@ title: "About me"
layout: "about"
---
-I am a Master's student in [Computer Science](https://inf.ethz.ch) at [ETH
-Zurich](https://ethz.ch). My focus is on Theoretical Computer Science and
-Formal Methods. I also volunteer as one of the system administrators in
-the [student association of computer science students](https://vis.ethz.ch).
+I am a PhD's student in [Computer Science](https://inf.ethz.ch) with the
+[Systems Group](https://systems.ethz.ch) at [ETH Zurich](https://ethz.ch). I
+have a formal methods background, and am currently working on low-level
+high-assurance systems.
## About this blog