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
280 commits behind the upstream repository.
ntzik.md 553 B 
firstname: Gian
lastname: Ntzik
position: PhD Student
webpage: http://www.doc.ic.ac.uk/~gn408/
email: gian.ntzik08@imperial.ac.uk
github: anirothan
alumnus: true

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.