Ағылшыншамен салыстырыңыз: абзацты басыңыз — түпнұсқа терезеде ашылады. Абзац астындағы EN түймесі оны мәтін ішінде көрсетеді.
Мазмұны
Кіріспе
Голландиялық америкалық компьютерлік ғалым Джерард Дж. Холцманн (туған 1951) - Голландиялық америкалық компьютерлік ғалым және Bell Labs және NASA зерттеушісі, ең танымал SPIN модельін тексеруші.
Dutch American computer scientist
Gerard J. Holzmann (born 1951) is a Dutch American computer scientist and researcher at Bell Labs and NASA, best known as the developer of the SPIN model checker.
Өмірбаян
Ол Нидерландының Амстердам қаласында дүниеге келген. 1976 жылы Делфт технология университетінен электротехника мамандығы бойынша инженерлік біліміне ие болған. Кейін ол 1979 жылы Делфт университетінде Виллем ван дер Поел мен Дж. Л. де Кростың "Мультипроцессорлық жүйелердегі үйлестіру проблемалары" атты диссертациясымен докторлық дәрежесін алды. Фулбрайт стипендиясын алғаннан кейін ол тағы бір жыл Оңтүстік Калифорния университетінде аспирант болды, онда Пер Бринч Хансенмен жұмыс істеді. 1980 жылы ол Мюррей Хиллдегі Белл зертханасында бір жыл жұмыс істеді. Нидерландыға оралғаннан кейін ол екі жыл бойы Делфт технология университетінде доцент болды. 1983 жылы Bell Labs-ке оралып, Компьютерлік ғылым зерттеу орталығында (бұрынғы Unix зерттеу тобы) жұмыс істеді. 2003 жылы NASA-ға қосылды, ол Калифорния штатының Пасадена қаласындағы сенімді бағдарламалық қамтамасыз ету жөніндегі NASA JPL зертханасын басқарады және JPL мүшесі болып табылады. 2005 жылы Париж Канелакис теория және практика сыйлығына сайланды. 2011 жылы ол Компьютерлік машиналар қауымдастығының мүшесі болып тағайындалды. 2012 жылдың қазан айында ол NASA-ның ерекше инженерлік жетістіктері медалімен марапатталды.
Holzmann was born in Amsterdam, Netherlands and received an Engineer's degree in electrical engineering from the Delft University of Technology in 1976. He subsequently also received his PhD degree from Delft University in 1979 under Willem van der Poel and J. L. de Kroes with a thesis entitled Coordination problems in multiprocessing systems. After receiving a Fulbright Scholarship he was a post graduate student at the University of Southern California for another year, where he worked with Per Brinch Hansen. In 1980 he started at Bell Labs in Murray Hill for a year. Back in the Netherlands he was assistant professor at the Delft University of Technology for two years. In 1983 he returned to Bell Labs where he worked in the Computing Science Research Center (the former Unix research group). In 2003 he joined NASA, where he leads the NASA JPL Laboratory for Reliable Software in Pasadena, California and is a JPL fellow. He was selected for the Paris Kanellakis Theory and Practice Award in 2005. In 2011 he was inducted as a Fellow of the Association for Computing Machinery. He was awarded the NASA Exceptional Engineering Achievement Medal in October 2012.
Жұмыс
Холцманн 1980-ші жылдары Bell Labs-те SPIN модель тексерушісін (SPIN - Simple Promela Interpreter) жасағанымен танымал. Бұл құрылғы 1991 жылдан бері еркін қол жетімді бағдарламалық қамтамасыз етудің дұрыстығын тексеруге мүмкіндік береді.
Holzmann is known for the development of the SPIN model checker (SPIN is short for Simple Promela Interpreter) in the 1980s at Bell Labs. This device can verify the correctness of concurrent software, since 1991 freely available.