Jose Meseguer

Jose Meseguer is a Spanish computer scientist, and professor at the University of Illinois at Urbana–Champaign. He leads the university's Formal Methods and Declarative Languages Laboratory.

Career

Having obtained in 1975 his PhD in Mathematics at the University of Zaragoza, he conducted post-doctoral stays at the University of Santiago de Compostela and the University of California at Berkeley. In 1980 he joined the Computer Science Laboratory at SRI International, eventually becoming a Principal Scientist and Head of the Logic and Declarative Languages Group. He joined the University of Illinois in 2001.

He has worked particularly on the design and implementation of declarative languages, including OBJ and Maude, as well as rewriting logic.[1]

He was awarded the 2019 Formal Methods Europe Fellowship.[2]

Selected research
  • Clavel, Manuel, et al. All about maude-a high-performance logical framework: how to specify, program and verify systems in rewriting logic. Springer-Verlag, 2007.
  • Goguen, Joseph A., et al. "Introducing obj." Software Engineering with OBJ. Springer, Boston, MA, 2000. 3-167.
  • Meseguer, José. "Conditional rewriting logic as a unified model of concurrency." Theoretical computer science 96.1 (1992): 73-155.
  • Goguen, Joseph A., and José Meseguer. "Security policies and security models." 1982 IEEE Symposium on Security and Privacy. IEEE, 1982.
gollark: I assume I could probably work something out via ComputerCraft and cycling drives out every 15 minutes for moving stuff around.
gollark: I imagine it'd cause exciting problems if any autocrafting ran while defragmentation did, but you know.
gollark: One day I'm going to figure out some way to properly defragment these stupid drives... they're used SO inefficiently right now.
gollark: Anyway, I think the SSD was my inspiration for the massively scaled-down version running my systems.
gollark: Madness.

References
  1. "Prof. José Meseguer". cs.illinois.edu. Retrieved 18 November 2019.
  2. Broch Johnsen, Einar. "FME Fellowship Awarded to Prof. José Meseguer". fmeurope.org. Retrieved 18 November 2019.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.