B.R.M. Gattinger, 1988
doctor
| Name | B.R.M. Gattinger |
|---|---|
| Full name | Benjamin Rene Malvin |
| First name | Malvin |
| Gender | male |
| Born | 1988, Offenbach am Main, Duitsland |
| Link to this person | https://albumacademicum.uva.nl/en/id/id180239 |
Education
| Education | Logica |
|---|---|
| Degree |
June 13, 2018
|
| Exam level | promotie |
| Institution | Faculteit der Natuurwetenschappen, Wiskunde en Informatica
Universiteit van Amsterdam |
| Thesis | New directions in model checking dynamic epistemic logic |
| Supervisor(s) |
|
| Assistent supervisor(s) |
|