4 Biography

Jørgen Staunstrup is Full Professor in Computer Science at the Technical University of Denmark, Lyngby. His research interest are formal verification, design of integrated circuits and design languages. The book ``A Formal Approach to Hardware Design'' published by Kluwer in 1994 presents a formally based approach to the design of integrated circuits. He has previously done research in programming languages and multiprocessor algorithms. The results of this work has been exploited by Danish electronics companies. He has taught university courses on programming, algorithms and datastructures, formal verification, specification, operating systems and VLSI design.

Jørgen Staunstrup has a Ph. D. in Computer Science from University of Southern California, Los Angeles in 1978 and a Dr. techn. degree from The Technical University of Denmark in 1995. He has had visiting appointments at the University of Washington, Seattle, Massachusetts Institute of Technology, Cambridge and INRIA, Paris.

He is a member of IFIP WG 10.5, IFIP TC 10, and vicechairman of the Danish Technical Research Council.