(de)

Ich verfolge einen Informatik PhD mit Fokus auf formeller Verifikation von hardwarenahen Komponenten.

Manchmal spiele ich Schach.

(en)

I'm a computer science PhD student focussing on verification at the hardware-software boundary. Sometimes I actually understand what I'm doing.

I like playing chess every now and then.

Personal von @flaps

#nobot