Engelbert Hubbers

Lecturer - Radboud University

List of Courses

NWI-IPC020 Mathematical Structures

EH (coordinator), Aldo Gunsing, Daniƫl Kuijsters

NWI-IPK001 Introduction to Formal Reasoning

Freek Wiedijk (coordinator), EH, Niels van der Weide

NWI-IPI004 Logic and Applications

EH (coordinator), Robbert Krebbers

NWI-IBC026 Semantics and Correctness

EH (coordinator), Niels van der Weide

NWI-IBC025 Semantics and Rewriting

EH (coordinator), Erik Barendsen, Niels van der Weide

NWI-IBI010 Reflection and Vocational Orientation

Perry Groot (coordinator), EH