Hans-Dieter Hiep

Hans-Dieter Hiep

— 10 posts published

Amsterdam, the Netherlands

February 2024

On Invariance and Inconsistency

February 16, 2024 — Teaching

December 2023

Concepts of Programming Languages

December 13, 2023

November 2023

Technical Feasibility Study

November 15, 2023 — Q4 2023

November 2023

Ideas and Vision

November 14, 2023 — Q3 2023

November 2023

Using Coq in the browser: jsCoq

November 08, 2023 — Technical

November 2023

Can the Collatz conjecture be proven, or not?

November 01, 2023 — Research

May 2023

What is an education?

May 06, 2023 — Teaching

March 2023

Correctness of Two Sorting Algorithms

March 15, 2023 — Teaching

February 2023

Can ChatGPT do an exam?

February 23, 2023 — Teaching