Thursday October 19, Christina Jansen successfully defended her PhD dissertation, entitled “Static Analysis of Pointer Programs: Linking Graph Grammars and Separation Logic” for a jury consisting of Marieke Huisman (University of Twente, NL), Gerhard Woeginger, Horst Lichter, Thomas Noll, and Joost-Pieter Katoen (all Aachen).  Christina’s dissertation is concerned with establishing a connection between data structure grammars and separation logic, and extending the hyperedge-replacement grammar technique for analysing sequential pointer programs towards treating procedural and concurrent programs.