Overslaan en naar de inhoud gaan
NL
EN
Zoeken
Maak leeg
Kruimelpad
Home
Personen
Prof. dr. R.J. Krebbers (Robbert)
prof. dr. R.J. Krebbers (Robbert)
Hoogleraar - Software Science
Leeropdracht :
Programming Languages
Please see my website at https://robbertkrebbers.nl
Onderwijs
Cursussen (2025-2026)
Bachelor Thesis
Imperative Programming
Master Thesis Computing Science
Master Thesis Information Sciences
Program verification with types and logic
Research Internship
Semantics and Rewriting
Seminar Mathematical Foundations of Computer Science
Cursussen (2026-2027)
Bachelor Thesis
Imperative Programming
Master Thesis Computing Science
Master Thesis Information Sciences
Program verification with types and logic
Research Internship
Semantics and Rewriting
Seminar Mathematical Foundations of Computer Science
Nevenwerkzaamheden
Er is door prof. dr. R.J. Krebbers (Robbert) aangegeven dat er geen meldingsplichtige nevenwerkzaamheden zijn.
