Кіріспе

Неміс компьютер ғалымы (1930 жылы туған)

Эгон Бёргер (1946 жылдың 13 мамырында туған) – Италияда қызмет ететін неміс компьютер ғалымы.

Өмір және жұмыс

Бёргер Германияның Бад-Лаер қаласында, Вестфалия, Төменгі Саксонияда дүниеге келген. 1965-1971 жылдары Париждегі Сорбоннада (Франция), Лювендегі Католик Университетінде, Лувендегі Жоғары Философия Институтында және Мюнстер университетінде (Германия) оқыды. 1972-1976 жылдары Италиядағы Салерно университетінде компьютерлік ғылымның жаңа ғылымы бойынша алғашқы курстарды оқытты. 1985 жылдан бері Италияның Пиза университетінде компьютерлік ғылым кафедрасын басқарып келеді. 2010 жылдың қыркүйегінен бастап Academia Europaea-ның сайланған мүшесі. Эгон Бёргер – компьютерлік ғылымда логикалық әдістерді қолданудың пионері. Ол CSL халықаралық конференциялар сериясын ұйымдастырушылардың бірі. Сонымен қатар, ол компьютерлік жүйелерді дәл және бақыланатын жобалау мен талдау үшін Абстрактты мемлекеттік машиналар (ASM) ресми әдісін жасаушылардың бірі және 2008 жылы халықаралық ASM семинарларын ұйымдастыруға қатысты, ол кейіннен B және Z пайдаланушылар тобының кездесулерімен бірігіп, халықаралық ABZ конференциясын құрады. Бёргер әдістің теориялық негіздерін дамытуға үлес қосты және оның өндірістік қолданылуын бағдарламалау тілдері, жүйелік архитектура, талаптар мен бағдарламалық жасақтаманы (қайта құру), басқару жүйелері, протоколдар, веб-қызметтер сияқты салаларда бастады. Бүгінгі күнге дейін ол ASM негізіндегі модельдеу және тексеру технологиясының жетекші ғалымдарының бірі болып табылады және оның қызметі арқасында бұл технология маңызды өзгерістерге ұшырады. 2007 жылы Гумбольдт ғылыми сыйлығымен марапатталды. Бёргердің 60 және 75 жылдық мерейтойларына арналған құрметті жинақтар жарық көрді.