Dick de Man

Dick de Man (born December 10, 1945) is a Dutch computer scientist known for his contributions to compiler construction, formal methods, and software engineering. He is a professor emeritus at Delft University of Technology in the Netherlands.

De Man's research has focused on the development of techniques for program analysis, transformation, and verification. He has made significant contributions to the area of attribute grammars, particularly in the context of compiler generation. His work has also explored the use of formal methods, such as model checking, to improve the reliability and correctness of software systems.

Throughout his career, de Man has been involved in various research projects aimed at developing tools and methodologies for building high-quality software. He has published numerous articles in leading computer science journals and conference proceedings, and he has supervised many doctoral students who have gone on to make their own contributions to the field. His work has influenced the design and implementation of compilers and other software development tools.

De Man received his PhD from Delft University of Technology.