Jose Meseguer - Jose Meseguer

Jose Meseguer bir İspanyol bilgisayar uzmanı ve profesör Illinois Üniversitesi, Urbana – Champaign. Üniversitenin Biçimsel Yöntemler ve Bildirime Dayalı Diller Laboratuvarını yönetmektedir.

Kariyer

1975 yılında Matematik Doktora derecesini Zaragoza Üniversitesi doktora sonrası kalışlar yaptı. Santiago de Compostela Üniversitesi ve Berkeley'deki California Üniversitesi. 1980'de Bilgisayar Bilimleri Laboratuvarına katıldı. SRI Uluslararası, sonunda Baş Bilimci ve Mantık Başkanı olur ve Bildirge Diller Grubu. Illinois Üniversitesi'ne 2001 yılında katıldı.

Özellikle bildirimsel dillerin tasarımı ve uygulaması üzerinde çalıştı. OBJ ve Maude mantığı yeniden yazmanın yanı sıra.[1]

2019 ödülüne layık görüldü Biçimsel Yöntemler Avrupa Kardeşlik.[2]

Seçilmiş araştırma

  • Clavel, Manuel, vd. Maude hakkında her şey - yüksek performanslı bir mantıksal çerçeve: yeniden yazma mantığında sistemlerin nasıl belirtileceği, programlanacağı ve doğrulanacağı. Springer-Verlag, 2007.
  • Goguen, Joseph A., vd. "Nesneye Giriş" OBJ ile Yazılım Mühendisliği. Springer, Boston, MA, 2000. 3-167.
  • Meseguer, José. "Birleştirilmiş bir eşzamanlılık modeli olarak koşullu yeniden yazma mantığı." Teorik bilgisayar bilimi 96.1 (1992): 73-155.
  • Goguen, Joseph A. ve José Meseguer. "Güvenlik politikaları ve güvenlik modelleri." 1982 IEEE Güvenlik ve Gizlilik Sempozyumu. IEEE, 1982.

Referanslar

  1. ^ "Prof. José Meseguer". cs.illinois.edu. Alındı 18 Kasım 2019.
  2. ^ Broch Johnsen, Einar. "Prof. José Meseguer'e FME Bursu Verildi". fmeurope.org. Alındı 18 Kasım 2019.