|
|
|
Festschrift Symposium in honour of Dines Bjørner and Zhou Chaochen
24 September - 25 September 2007
Macao SAR, China
new Zhou
Chaochen's Festschrift Presentation
new Festschrift Photographs
(.zip package)
Two outstanding computer scientists and former Directors of UNU-IIST will soon reach their 70th birthdays: Dines Bjørner was born on the 4th of October 1937 in Denmark and Zhou Chaochen was born on the 1st of November in the same year in China. To celebrate their birthdays, UNU-IIST is organising three events in their honour:
DINES BJØRNER is known for his many contributions to the theory and practice of formal methods for software engineering. He is particularly associated with two formal methods, although his influence is far wider. He worked with Cliff Jones and others on the Vienna Development Method (VDM), initially at IBM in Vienna. Later, he was involved in producing the Rigorous Approach to Industrial Software Engineering (RAISE) formal method with tool support. His three-volume magnum opus on software engineering covers Abstraction and Modelling, Specification of Systems and Languages, and Domains, Requirements, and Software Design. He was a professor at the Technical University of Denmark (DTU) in Lyngby, near Copenhagen. He was the founding director of the United Nations University International Institute for Software Technology (UNU-IIST) in Macao during the 1990s. He was a co-founder of VDM-Europe, which transformed to become Formal Methods Europe, an organisation that promotes the use of formal methods. Its eighteen-monthly symposia have become the leading academic events in formal methods. Dines Bjørner is a Knight of the Order of the Dannebrog and was awarded the John von Neumann Medal in Budapest in 1994. He received a Doctorate (honoris causa) from the Masaryk University in Brno in 2004. He is a Fellow of both the IEEE and the ACM.
ZHOU CHAOCHEN is known for his seminal contributions to the theory and practice of timed and hybrid systems. His distinguished academic career started as an undergraduate in Mathematics and Mechanics at Peking University (1954-58) and as a postgraduate at the Institute for Computing Technology in the Chinese Academy of Sciences (1963-67). He continued his career at Peking University and the Chinese Academy, until he made an extended visit to Oxford University Computing Laboratory (1989-92) at the invitation of Prof. Sir Tony Hoare FRS. Here he was the prime instigator of the Duration Calculus, an interval logic for real-time systems, developed as part of a European ESPRIT project on Provably Correct Systems. He made further extended visits during the periods 1990-92 and 1995-96, as a visiting professor at the Technical University of Denmark, Lyngby, at the invitation of Prof. Dines Bjørner. He was a Principal Research Fellow at UNU-IIST during the period 1992-97, before becoming its Director, an appointment he held from 1997 to 2002. He is a member of the Chinese Academy of Sciences and the Third World Academy of Sciences.
The Festschrift is sponsored by the Macao Foundation and Macau Polytechnic Institute