|
Postdoc Maaike Annebet Zwart |
| IT-Universitetet I Købanhavn |
| Theoretical Computer Science |
| Edvard Thomsens Vej 5A st th |
| 2300 København S |
| Danmark |
| maaike.annebeth @ gmail.com |
| 42717482 |
|
|
|
|
| Indledende emner |
| Algoritmer og datastrukturer |
| Diskrete strukturer |
| Formelle sprog |
| Funktionsprogrammering |
| Logik |
| Videregående emner |
| Complexity Theory |
| Computational Logic |
| Proof Theory |
| Theory of Computation |
| Type Theory |
|
![[topimage]](TopBanner900.png)