birth_place awards image_size nationality fields workplaces birth_date known_for residence image article_title name alma_mater
odense , denmark order of the dannebrog -lrb- 1985 -rrb- 150px danish computer science technical university of denmark united nations university 4 october 1937 vienna development method , raise specification language denmark dines bjørner at dtu compute , june 2012.jpg dines bjørner
 dines bjørner peking university chinese academy of sciences
dines bjørner

professor dines bjørner -lrb- born 4 october 1937 in odense -rrb- is a danish computer scientist .
he specializes in research into domain engineering , requirements engineering and formal methods .
he worked with cliff jones and others on the vienna development method -lrb- vdm -rrb- at ibm in vienna -lrb- and elsewhere -rrb- .
later he was involved with producing the raise -lrb- rigorous approach to industrial software engineering -rrb- formal method with tool support .
bjørner has been a professor at the technical university of denmark -lrb- dtu -rrb- in lyngby , close to copenhagen , denmark from 1965 -- 1969 and 1976 -- 2007 , before he retired in march 2007 .
`` inter alia '' , he was responsible for establishing the united nations university international institute for software technology -lrb- unu-iist -rrb- , macau , in 1992 and was its first director .
his `` magnum opus '' on software engineering -lrb- three volumes -rrb- appeared in 2005/6 .
to support vdm , bjørner co-founded vdm-europe , which subsequently became formal methods europe , an organization that supports conferences and related activities .
in 2003 , he instigated the associated fortia `` formal techniques industry association '' .
dines bjørner is a knight of the order of the dannebrog in 1985 .
he received a dr.h.c .
from the masaryk university , brno , czech republic in 2004 .
he is a fellow of the ieee -lrb- 2004 -rrb- and acm -lrb- 2005 -rrb- .
he is also member of the academia europaea since 1989 .
in 2007 , a symposium was held in macau in honour of dines bjørner and zhou chaochen .
bjørner is married to kari bjørner , with two children and five grandchildren .
