Courses

An overview of open access on-line courses on the foundations of computer science and computer engineering.

Computer Networks

An introduction to computer networks based on the five layers of the TCP/IP model, with examples from military and safety-critical systems.

Hans-Dieter A. Hiep

ECTS	2
Leiden Level	200

Computer Chips

An exploration of computer chips across three layers (semiconductor physics, logical circuits, and information processing).

Hans-Dieter A. Hiep

ECTS	3
Leiden Level	300

Computer Systems

A study of computer systems, information processors and operating systems, and their performance versus information security risks.

Hans-Dieter A. Hiep

ECTS	5
Leiden Level	300

Concepts of Programming Languages

A kaleidoscopic view on the many concepts of programming languages, focusing on object-oriented and functional programming, covering both theory and practice.

Hans-Dieter A. Hiep

ECTS	6
Leiden Level	200

Program Correctness

An introduction to using predicate logic for specifying and proving the correctness of imperative programs.

Hans-Dieter A. Hiep, Frank S. de Boer

ECTS	6
Leiden Level	300