Hans-Dieter Hiep

Hans-Dieter Hiep joined NLnet in January 2025 as Technology Assessor and project manager. 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