Congratulations to Gian Ntzik on successfully defending his PhD thesis, Reasoning about POSIX File Systems and many thanks to Ally Donaldson and Hongseok Yang who acted as examiners.

The thesis investigates the problem of rigorously specifying the semantics of the POSIX file system API and uses these specifications to reason about the correctness of implementation of API functions and clients that interact with the API. The examiners found that Gian’s work contained new significant results on formal specification and verifications of concurrent software systems and recommended that the viva is passed with only minor corrections.

More details on Gian’s research can be found here.