Hans-Dieter Hiep

Hans-Dieter Hiep joined NLnet in January 2025, and worked as Technology Assessor and project manager until September 2025. From September 2025 onwards he remains active as Scientific Advisor. He is specialised in Formal Methods and Automated Reasoning Technologies. Before joining NLnet, he briefly worked at Amazon Web Services as an Applied Scientist in Cambridge (UK) in the Automated Reasoning Group. In May 2024, he obtained a cum laude PhD at Leiden University and Centrum Wiskunde & Informatica (CWI).

See: personal homepage

Contact details