~bfiedler/website

9ffe514cb50ae7f25644f8953eb39686a5dd104d — Ben Fiedler 3 months ago a8bc9ac
Update about me
1 files changed, 4 insertions(+), 4 deletions(-)

M content/about.md
M content/about.md => content/about.md +4 -4
@@ 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