Ib Holm Sørensen

Dr 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[5] to support the B-Toolkit,[6] 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

  1. Roscoe, Bill (8 February 2012). "Ib Sorensen – In memoriam". Department of Computer Science, University of Oxford, UK. Retrieved February 22, 2012.
  2. Sørensen, Ib Holm; Kresse, Eric (December 1977). RIKKE-MATHILDA microassemblers and simulators on the DECSystem-10 (PDF). DAIMI MD-28. Aarhus University, Denmark.
  3. Sørensen, Ib Holm (1981). Topics in programme specification and design: specification and design of distributed systems. Wolfson College, University of Oxford, UK.
  4. Hayes, Ian, ed. (1993). Specification Case Studies (PDF) (2nd ed.). Prentice Hall International Series in Computer Science. ISBN 978-0-13-832544-2.
  5. "B-Core (UK) Limited". www.cdrex.com. Company Data Rex. Retrieved February 22, 2012.
  6. "The B-Toolkit". B-Core (UK) Limited. 2004. Archived from the original on October 12, 2004. Retrieved February 22, 2012.


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.