| Task 11: Visitor 4 | |
|
|
|
|
Name: Prof. Dines Bjorner
Affiliation:
Period: 26 May - 7 June 2006
Bio: Dines Bjørner is Professor of Computing Science at the Technical University of Denmark, currently a Guest Professor at the Japan Advanced Institute of Science and Technology. In his long and distinguished career, Prof. Bjørner has been involved with a wide range of activites from research and development, to education and promotion, to institution- and conference-building. In particular, Prof. Bjørner is the First and Founding Director of the United Nations University International Institute for Software Technology in Macau, and the Instigator and General Chair of FM'99 - World Congress on Formal Methods. He has been the Leader of the EU ProCoS I Project, Co-Founder of VDM-Europe (later FME: Formal Methods Europe), and Co-Founder and Chief Scientist of the Dansk Datamatik Center (instigator of the CHILL, Ada and RAISE projects). Prof. Bjørner has been the Guest Professor at Copenhagen University and University of California in Berkely, and has worked for IBM in Menlo Park, San Jose and Vienna Laboratories, as the co-researcher and developer of the influencial Vienna Development Method (VDM). Recently, Prof. Bjørner published a series of three text cum handbooks on Software Engineering, published with Springer Verlag.