Ib Holm Sørensen
| Use attributes for filter ! | |
| Gender | Male |
|---|---|
| Date of birth | January 29,1949 |
| Zodiac sign | Aquarius |
| Died | Martinique |
| Date of Reg. | |
| Date of Upd. | |
| ID | 3619719 |
Ib Holm Sørensen Life story
Dr Ib Holm Sørensen was a computer scientist who made contributions to the Z notation and B-Method. 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.
