Biography

Hongyan Sun is a Research Assistant at the Department of Information Technology, Technical University of Denmark. Her main research interests include methodology for system design and prototyping, system architecture, ADLs and supporting tools, and robotics. She received a Ph.D. in Robotics from the Technical University of Denmark in 1996.

Anders P. Ravn is a Reader in the Computer Systems Section, Department of Information Technology, Technical University of Denmark. His main research interests include software engineering, real-time systems, formal methods. He received Dr. Tech. in 1995, M.Sc. in Computer Science and Mathematics from the University of Copenhagen in 1973.