update office room number
[web.git] / research / thesis.html
2022-10-07 Ralf Jungsyntax
2022-10-07 Ralf Jungbut still make it bold
2022-10-07 Ralf Jungno need to still make this red
2021-10-26 Ralf Jungadd Eduard Martin Preis
2021-09-16 Ralf Jungbe less redundant about the year of my thesis
2021-09-16 Ralf Jungadd SIGPLAN award
2021-07-14 Ralf Jungthe ACM news is out :)
2021-05-02 Ralf Jungadd Otto Hahn medal
2021-03-16 Ralf Jungwin -> receive
2021-03-11 Ralf Jungadd ETAPS award :)
2020-12-08 Ralf Jungupdate screen render of thesis
2020-09-10 Ralf Jungadd thesis DOI
2020-09-01 Ralf Jungfix HTML
2020-09-01 Ralf Jungadd my PhD thesis
2020-08-30 Ralf Jungadd thesis page stub