Хосе Месегер - испанский ученый-компьютерщик , профессор Иллинойского университета в Урбане-Шампейн . Он возглавляет университетскую лабораторию формальных методов и декларативных языков.
Карьера [ править ]
Получив в 1975 году докторскую степень по математике в Университете Сарагосы , он провел постдокторантуру в Университете Сантьяго-де-Компостела и Калифорнийском университете в Беркли . В 1980 году он присоединился к лаборатории компьютерных наук в SRI International , в конечном итоге став главным научным сотрудником и главой группы логических и декларативных языков. Он поступил в Иллинойсский университет в 2001 году.
В частности, он работал над проектированием и реализацией декларативных языков, включая OBJ и Maude , а также над логикой переписывания. [1]
Он был награжден Европейской стипендией по формальным методам 2019 года . [2]
Избранные исследования [ править ]
- Клавель, Мануэль и др. Все о моде - высокопроизводительной логической структуре: как определять, программировать и проверять системы при переписывании логики. Springer-Verlag, 2007.
- Гогуэн, Джозеф А. и др. "Представляем obj." Программная инженерия с OBJ. Спрингер, Бостон, Массачусетс, 2000. 3–167.
- Месегер, Хосе. «Логика условного перезаписи как унифицированная модель параллелизма». Теоретическая информатика 96.1 (1992): 73-155.
- Гогуэн, Джозеф А. и Хосе Месегер. «Политики безопасности и модели безопасности». 1982 Симпозиум IEEE по безопасности и конфиденциальности. IEEE, 1982.
Ссылки [ править ]
- ^ "Проф. Хосе Месегер" . cs.illinois.edu . Проверено 18 ноября 2019 . CS1 maint: обескураженный параметр ( ссылка )
- ^ Брох Йонсен, Эйнар. «Стипендия FME присуждена профессору Хосе Месегеру» . fmeurope.org . Проверено 18 ноября 2019 . CS1 maint: обескураженный параметр ( ссылка )
