Skip to content
Snippets Groups Projects
Commit c44245ef authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia
Browse files

Update ntzik.md

parent a5227252
No related branches found
No related tags found
No related merge requests found
......@@ -14,4 +14,5 @@ Gian Ntzik, Phd student and Post Doc with the group.
Gian defended his thesis [Reasoning about POSIX File Systems](https://psvg.doc.ic.ac.uk/publications/Ntzik2017Reasoning.html)
in February 2017 and is currently working
for [Amadeus](http://www.amadeus.com/web/amadeus/en_GB-GB/Amadeus-Home/About-us/Our-company/1319477448520-Page-AMAD_DetailPpal)
in systems development and research.
\ No newline at end of file
in systems development and research.
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment