F.M. Lauridsen, 1989
doctor
Name | F.M. Lauridsen |
---|---|
Full name | Frederik Möllerström |
First name | Frederik |
Gender | male |
Born | 1989, Odense, Denemarken |
Link to this person | https://albumacademicum.uva.nl/en/id/id190110 |
Education
Education | Logica |
---|---|
Degree |
Oct. 10, 2019
|
Exam level | promotie |
Institution | Faculteit der Natuurwetenschappen, Wiskunde en Informatica
Universiteit van Amsterdam |
Thesis | Cuts and completions: algebraic aspects of structural proof theory |
Supervisor(s) |
|
Assistent supervisor(s) |
|