Ir C. (Kees) Pronk

Kees Pronk

Kees Pronk

C. (Kees) Pronk
Faculteit Elektro, Wiskunde en Informatica (EWI)
Technische Universiteit Delft
Mekelweg 4, 2628 CD Delft
Postbus 5031, 2600 GA Delft

Phone: +31 (0)15 2781803
Fax: +31 (0)15 2784475
Room: HB 09.140

Research Areas

Model Checking
In September 2012 I have given a course in Model Checking at ITB in Bandung (Indonesia).
I also was invited speaker at the ICSET 2012 Conference in Bandung.

Formal Methods

Software Architecture

Software Components

Object Orientation

Programming Language Standardization



Links to other activities

Colleges (lectures)

The Software Engineering Group

Msc Projects

Embedded Systems

Het vitrinemuseum van de practicumgroep

Epispin development download page

Modula-2 standardization work (old)