From c44245ef0ef4f29fb5e80662639d157ed26789d9 Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Thu, 18 Jan 2018 12:14:31 +0000 Subject: [PATCH] Update ntzik.md --- _people/ntzik.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/_people/ntzik.md b/_people/ntzik.md index c4d36e8..f504ec3 100644 --- a/_people/ntzik.md +++ b/_people/ntzik.md @@ -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. + -- GitLab