Карел С. Шолтен - Carel S. Scholten

Карел Шолтен
Альма-матерАмстердамский университет
Научная карьера
Поля
Учреждения

Карел С. Шолтен (Амстердам, 1925 - 2009 гг.) физик и пионер вычисление.

Он пошел в Гимназия Воссиуса в Амстердаме, а затем учился физика с 1945 по 1952 г. Амстердамский университет.

В 1947 году голландцы попросили его Mathematisch Centrum (который позже стал Centrum Wiskunde & Informatica ) сотрудничать в создании автоматического калькулятора со своим другом и однокурсником Брэм Лупстра. Их первая система, ARRA I не имел успеха, но его преемник, ARRA II, на котором Геррит Блаау также сотрудничал, был.

В 1954 году начались работы по ARMAC, который он построил вместе с Loopstra и Эдсгер Дейкстра, который отвечал за программное обеспечение и сотрудничал со Шолтеном более 30 лет. ARMAC отличался использованием транзисторы.

В 1958 году Шолтен перешел на работу в Electrologica (потом Philips Electrologica), где он разработал Electrologica X1 компьютер с Loopstra; до 1964 г. было установлено 40 моделей, в основном в университетах. Он работал в Philips Electrologica до 1979 года, когда перешел на Лаборатория Philips Natuurkundig, где он пробыл до 1985 года.

В 1991 г. был награжден почетный доктор к Technische Universiteit Eindhoven.

Публикации

  • Эдсгер В. Дейкстра и Карел С. Шолтен (1990). Исчисление предикатов и семантика программ. Springer-Verlag ISBN  0-387-96957-8 - абстрактный формальный подход к Семантика преобразователя предикатов[1]

внешняя ссылка

Рекомендации

  1. ^ "Эдсгер Вайбе Дейкстра". Школа математических и вычислительных наук. Сент-Эндрюсский университет. Получено 26 декабря 2010.