Skip to main content
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
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
Ancillary activities
No relevant ancillary activities have been specified by
Dr R.J. Krebbers (Robbert).
