Skip to main content

NL
EN

Search

Breadcrumb

Home
People
Prof. R.J. Krebbers (Robbert)

Prof. R.J. Krebbers (Robbert)

Professor - Software Science

Working days

Please see my website at https://robbertkrebbers.nl

Teaching

Courses (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

Courses (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

Ancillary activities

It has been stated by Prof. R.J. Krebbers (Robbert) that there are no reportable ancillary activities.

Footer menu [EN]

Information for
- Students
- Staff
- Alumni
- Press
- Schools
More about
Contact

Address

Houtlaan 4
6525 XZ Nijmegen

Footer secondary

©2026 - Disclaimer
Privacy & cookies