Skip to main content
Radboud University
NL
EN
Search
Clear all
Breadcrumb
Home
People
Dr R.J. Krebbers (Robbert)
Dr R.J. Krebbers (Robbert)
Associate professor - Software Science
Please see my website at https://robbertkrebbers.nl
Teaching
Courses (2024-2025)
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
Courses (2025-2026)
Bachelor Thesis
Imperative programming
Logic and Applications
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
Type Theory and Rocq
Ancillary activities
No relevant ancillary activities have been specified by
Dr R.J. Krebbers (Robbert).