Overslaan en naar de inhoud gaan
Radboud Universiteit
NL
EN
Zoeken
Maak leeg
Kruimelpad
Home
Personen
Dr. R.J. Krebbers (Robbert)
dr. R.J. Krebbers (Robbert)
Universitair hoofddocent - Software Science
Please see my website at https://robbertkrebbers.nl
Onderwijs
Cursussen
Bachelor Thesis
Imperative Programming
Logic and Applications
Master Thesis Computing Science
Master Thesis Information Sciences
Program verification with types and logic
Research Internship
Seminar Mathematical Foundations of Computer Science
Type Theory and Coq
Nevenwerkzaamheden
Er zijn geen relevante nevenwerkzaamheden opgegeven door
dr. R.J. Krebbers (Robbert).
Radboud Universiteit