PhD Students Current PhD students: Tom Kuhmichel Former PhD students (Mathematics Genealogy Project): Name Title of dissertation thesis Sebastian Posur Constructive category theory and applications to equivariant sheaves Sebastian Gutsche Constructive category theory and applications to algebraic geometry Martin Bies Cohomologies of coherent sheaves and massless spectra in F-theory (second advisor) Sergio Siccha Normalizers of primitive groups with non-regular socles in polynomial time (second advisor) Kamal Saleh Constructive category theory and tilting equivalences via strong exceptional sequences Fabian Zickgraf CompilerForCAP – Building and compiling categorical towers in algorithmic category theory
