Research Projects Pomsets with Transformers Student Projects and Theses List of ongoing projects and completed theses Courses and Classes Coq materials for Verification School @ Sirius'21 Semantics class @ Neapolis'23 Semantics class @ Constructor'23 Weak memory models course @ Constructor'23 Semantics class @ Constructor and Neapolis'24