Fix typo
1 files changed, 1 insertions(+), 1 deletions(-) M content/about.md
M content/about.md => content/about.md +1 -1
@@ 3,7 3,7 @@ title: "About me" layout: "about" --- I am a PhD's student in [Computer Science](https://inf.ethz.ch) with the I am a PhD 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.