Anders P. Ravn

degree in Computer Science and Mathematics from the University of Copenhagen in 1973 and a Doctor of Technology (Dr.Tech.)

[3] Between 1969 and 1973, Anders Ravn was a teaching assistant in the Department of Computer Science at the University of Copenhagen (DIKU).

During 1982–3, he was a visiting scientist at IBM's Thomas J. Watson Research Center in Yorktown Heights, New York, United States.

[4] In particular, he worked with Zhou Chaochen and Tony Hoare on the development of duration calculus for real-time systems.

[3] He was also a member of the IFIP Working Group 2.2 (covering the Formal Description of Programming Concepts) from 2002.

Anders Ravn in China , 2017