Overslaan en naar de inhoud gaan
Radboud Universiteit logo Radboud Universiteit
  • NL
  • EN

Kruimelpad

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

dr. F. Wiedijk (Freek)

Universitair docent - Software Science

dr. F. Wiedijk (Freek)
Contactinformatie
  • freek@cs.ru.nl
  • 024-3652649
    06-20422671
  • Ga naar LinkedIn
  • Ga naar X
  • Persoonlijk profiel
Bezoekadres

Toernooiveld 212
6525 EC NIJMEGEN
Interne postcode: 47

Postadres

Postbus 9010
6500 GL NIJMEGEN

Onderwijs

Cursussen (2024-2025)
  • Bachelor Thesis
  • Computability
  • Introduction to Formal Reasoning
  • Master Thesis Computing Science
  • Master Thesis Information Sciences
  • Master Thesis Project Mathematics
  • Proof Assistants
  • Research Internship
  • Seminar Mathematical Foundations of Computer Science
  • Type Theory and Coq
Cursussen (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

Nevenwerkzaamheden

Er zijn geen relevante nevenwerkzaamheden opgegeven door dr. F. Wiedijk (Freek).

Footer menu [NL]

  • Informatie voor
    • Studenten
    • Medewerkers
    • Alumni
    • Pers
    • Scholen
  • Meer over
    • Opleidingen
    • Onderzoek
    • Werken bij
    • De Radboud Universiteit
  • Contact
    • Contactgegevens
    • Zoek medewerker
    • Bereikbaarheid

Adres

Houtlaan 4
6525 XZ Nijmegen

Neem contact op

Footer secondary

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