Skip to main content
Radboud University logo
  • NL
  • EN

Breadcrumb

  1. Home
  2. People
  3. Dr F. Wiedijk (Freek)

Dr F. Wiedijk (Freek)

Assistant professor - Software Science

Dr F. Wiedijk (Freek)
Contact
  • freek@cs.ru.nl
  • 024-3652649
    06-20422671
  • To LinkedIn
  • To X
  • Personal profile
Visiting address

Toernooiveld 212
6525 EC NIJMEGEN

Postal address

Postbus 9010
6500 GL NIJMEGEN

Teaching

Courses (2025-2026)
  • Bachelor Thesis
  • Computability
  • Formal Reasoning for AI
  • Introduction to Formal Reasoning
  • Master Thesis Computing Science
  • Master Thesis Information Sciences
  • Master Thesis Project Mathematics
  • Research Internship
  • Seminar Mathematical Foundations of Computer Science
  • Type Theory and Rocq
Courses (2026-2027)
  • Bachelor Thesis
  • Computability
  • Introduction to Formal Reasoning
  • Master Thesis Computing Science
  • Master Thesis Information Sciences
  • Master Thesis Project Mathematics
  • Proof Assistants
  • Research Internship
  • Semantics and Correctness
  • Seminar Mathematical Foundations of Computer Science
  • Type Theory and Rocq

Ancillary activities

It has been stated by Dr F. Wiedijk (Freek) that there are no reportable ancillary activities.

Footer menu [EN]

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

Address

Houtlaan 4
6525 XZ Nijmegen

Contact us

Footer secondary

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