Jose Meseguer

José 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

José Meseguer obtained his PhD in Mathematics in 1975 at the University of Zaragoza, after which he did post-doctoral work 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 and currently is Professor of Computer Science, where he leads their Formal Methods and Declarative Languages Laboratory.

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.

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