Name:Hans-Dieter Hiep

Bio:

Hans-Dieter A. Hiep is a specialist in formal methods and automated reasoning techniques, with an academic interest in mathematical logic, separation logic, dynamic logic; interactive, automated and distributed theorem proving; and operational, denotational, and axiomatic semantics of programming languages. In 2024, he finished a Ph.D. program in Computer Science at Leiden University, Leiden Institute of Advanced Computer Science (LIACS) and Centrum Wiskunde & Informatica (CWI). In 2018, he finished a M.Sc. program in Computer Science joint-degree at the Vrije Universiteit and Universiteit van Amsterdam (VU/UvA), specializing in foundations of computing and concurrency.

Country:Netherlands

Affiliation:Netherlands Defence Academy

Research interests:Formal Verification