Ib Holm Sørensen
Ib Holm Sørensen (1949–2012) was a computer scientist who made contributions to the Z notation and B-Method.[1]
Originally from Denmark, Ib Sørensen started his academic career in the 1970s at Aarhus University, where he worked on the Rikke-Mathilda microassemblers and simulators running on the DECSystem-10 computer.[2]
In 1979, Sørensen joined the Programming Research Group, part of the Oxford University Computing Laboratory (now the Oxford University Department of Computer Science) in England. There he worked with Jean-Raymond Abrial and others, making contributions to the early development of the formal specification language Z. He gained a DPhil degree from the University of Oxford[3] and was a co-author of the seminal Specification Case Studies book on Z, first published in 1987 (second edition in 1993).[4]
From the late 1980s, Sørensen was central in the development of the B-Method, a leading formal method. He left Oxford University to lead a team at BP developing the B-Tool to provide tool support for the B approach. He then founded the company B-Core (UK) Limited (now defunct) to support the B-Toolkit,[5] a set of programming tools designed to support the use of the B-Tool, and undertake B-related projects.
Latterly Sørensen returned to the University of Oxford. From 1999, he worked on the B-based Booster models of requirements. He died in 2012, before he was able to retire.[1]
References[edit]
- ↑ 1.0 1.1 Roscoe, Bill (8 February 2012). "Ib Sorensen – In memoriam". Department of Computer Science, University of Oxford, UK. Retrieved February 22, 2012.
- ↑ Sørensen, Ib Holm; Kresse, Eric (December 1977). RIKKE-MATHILDA microassemblers and simulators on the DECSystem-10 (PDF). DAIMI MD-28. Aarhus University, Denmark. Search this book on
- ↑ Sørensen, Ib Holm (1981). Topics in programme specification and design: specification and design of distributed systems. Wolfson College, University of Oxford, UK. Search this book on
- ↑ Hayes, Ian, ed. (1993). Specification Case Studies (PDF) (2nd ed.). Prentice Hall International Series in Computer Science. ISBN 978-0-13-832544-2. Search this book on
- ↑ "The B-Toolkit". B-Core (UK) Limited. 2004. Archived from the original on October 12, 2004. Retrieved February 22, 2012. Unknown parameter
|url-status=ignored (help)
External links[edit]
- Personal home page
- Ib Holm Sørensen at DBLP Bibliography Server
 | This article on a computer specialist of the United Kingdom is a stub. You can help EverybodyWiki by expanding it. |
.svg){kind=small} | This biography article of a United Kingdom academic is a stub. You can help EverybodyWiki by expanding it. |
This article "Ib Holm Sørensen" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:Ib Holm Sørensen. Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.
- Blanked or modified
- 1939 births
- 2012 deaths
- Danish expatriates in England
- British people of Danish descent
- Aarhus University faculty
- Alumni of Wolfson College, Oxford
- Fellows of Wolfson College, Oxford
- Danish computer scientists
- British computer scientists
- Formal methods people
- Software engineers
- Members of the Department of Computer Science, University of Oxford
- Z notation
- British computer specialist stubs
- British academic biography stubs
