F.M. Lauridsen, 1989

doctor

Naam F.M. Lauridsen
Voornamen Frederik Möllerström
Roepnaam Frederik
Geslacht man
Geboren 1989, Odense, Denemarken
Link naar deze persoon https://albumacademicum.uva.nl/id/id190110

Opleiding

Opleiding Logica
Graad
10 oktober 2019
Examentype promotie
Instelling
Faculteit der Natuurwetenschappen, Wiskunde en Informatica
Universiteit van Amsterdam
Proefschrift Cuts and completions: algebraic aspects of structural proof theory
Promotor(en)
  • prof. dr. Y. Venema, Universiteit van Amsterdam
Copromotor(en)
  • dr. N. Bezhanishvili, Universiteit van Amsterdam
Terug naar zoek resultaten