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: Yes, which means you can *uninstall* it.
gollark: So uninstall it?
gollark: I briefly read that as 80GB and was shocked, but I then saw it was 8.
gollark: https://i.redd.it/3fkps2jhon821.jpgThis random thing I found on reddit probably beats it!
gollark: Like most prebuilts.

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.