Overslaan en naar de inhoud gaan

Main menu full

Home
Opleidingen
Onderzoek
Services
Werken bij
Over ons
Contact
Studenten
Medewerkers
Alumni

Radboud Universiteit

NL
EN

Zoeken

Kruimelpad

Home
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).

Footer menu [NL]

Informatie voor
- Studenten
- Medewerkers
- Alumni
- Pers
Meer over
Contact

Adres

Houtlaan 4
6525 XZ Nijmegen

Neem contact op

Footer secondary

©2024 - Disclaimer
Privacy & cookies