Jose Meseguer - Jose Meseguer
José Meseguer jest hiszpańskim informatykiem i profesorem na Uniwersytecie Illinois w Urbana – Champaign . Prowadzi na uczelni Laboratorium Metod Formalnych i Języków Deklaratywnych.
Kariera
Po uzyskaniu w 1975 roku doktoratu z matematyki na Uniwersytecie w Saragossie , prowadził staże podoktoranckie na Uniwersytecie w Santiago de Compostela i Uniwersytecie Kalifornijskim w Berkeley . W 1980 roku dołączył do Laboratorium Informatyki w SRI International , stając się ostatecznie głównym naukowcem i szefem Logic and Declarative Languages Group. Dołączył do University of Illinois w 2001 roku.
Pracował w szczególności nad projektowaniem i implementacją języków deklaratywnych, w tym OBJ i Maude , a także nad logiką przepisywania.
Otrzymał stypendium Formal Methods Europe Fellowship 2019 .
Wybrane badania
- Clavel, Manuel i in. Wszystko o maude - wysokowydajnym frameworku logicznym: jak określać, programować i weryfikować systemy w logice przepisywania. Springer-Verlag, 2007.
- Goguen, Joseph A. i in. „Przedstawiamy obj.” Inżynieria oprogramowania z OBJ. Springer, Boston, MA, 2000. 3-167.
- Meseguer José. „Logika warunkowego przepisywania jako ujednolicony model współbieżności”. Informatyka teoretyczna 96,1 (1992): 73-155.
- Goguen, Joseph A. i José Meseguer. „Zasady bezpieczeństwa i modele bezpieczeństwa”. 1982 IEEE Symposium on Security and Privacy. IEEE, 1982.