Skip to main content
Radboud University logo Radboud University
  • NL
  • EN

Breadcrumb

  1. Home
  2. People
  3. Dr R.J. Krebbers (Robbert)

Dr R.J. Krebbers (Robbert)

Associate professor - Software Science

Dr R.J. Krebbers (Robbert)

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

Footer menu [EN]

  • Information for
    • Students
    • Staff
    • Alumni
    • Press
    • Schools
  • More about
    • Programmes
    • Research
    • Working at
    • Radboud University
  • Contact
    • Contact details
    • Find staff member
    • How to get here

Address

Houtlaan 4
6525 XZ Nijmegen

Contact us

Footer secondary

  • ©2025 - Disclaimer
  • Privacy & cookies
Radboud University logo