Jose Meseguer - Jose Meseguer

Jose Meseguer je Španěl počítačový vědec a profesor na University of Illinois v Urbana – Champaign. Vede univerzitní laboratoř formálních metod a deklarativních jazyků.

Kariéra

Poté, co získal v roce 1975 doktorát z matematiky na University of Zaragoza, provedl postdoktorandské pobyty na University of Santiago de Compostela a Kalifornská univerzita v Berkeley. V roce 1980 nastoupil do Computer Science Laboratory v SRI International, nakonec se stal hlavním vědcem a vedoucím logiky a Deklarativní Skupina jazyků. Na University of Illinois nastoupil v roce 2001.

Pracoval zejména na návrhu a implementaci deklarativních jazyků, včetně OBJ a Maude, stejně jako přepisování logiky.^[1]

Byl oceněn 2019 Formální metody Evropa Přátelství.^[2]

Vybraný výzkum

• Clavel, Manuel a kol. Vše o maude-vysoce výkonném logickém rámci: jak specifikovat, programovat a ověřovat systémy v logice přepisování. Springer-Verlag, 2007.
• Goguen, Joseph A. a kol. „Představuji obj.“ Softwarové inženýrství s OBJ. Springer, Boston, MA, 2000. 3-167.
• Meseguer, José. "Podmíněné přepisování logiky jako jednotný model souběžnosti." Theoretical computer science 96.1 (1992): 73-155.
• Goguen, Joseph A. a José Meseguer. „Bezpečnostní politiky a modely zabezpečení.“ 1982 IEEE Symposium on Security and Privacy. IEEE, 1982.

Reference