Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • fix-bibtex-unicode-filter
  • dataspy-hacking
3 results
Blame Permalink
Forked from Verified Software / psvg.doc.ic.ac.uk
270 commits behind the upstream repository.
ntzik.md 482 B 
firstname: Gian
lastname: Ntzik
position: PhD Student
github: anirothan
alumnus: true

Gian was a PhD student and Post Doc with the group. Gian defended his thesis Reasoning about POSIX File Systems in February 2017 and is currently working for Amadeus in systems development and research.