Jose Meseguer Explained

José Meseguer
Birth Place:	Murcia, Spain^[1]
Professor, Computer Science
Alma Mater:	University of Zaragoza (PhD)
Thesis Title:	Primitive recursion in monoidal categories^[2]
Thesis Year:	1975
Doctoral Advisor:	Michael Pfender
Discipline:	Computer science
Work Institution:	UIUC
Website:	http://formal.cs.illinois.edu/meseguer/

José Meseguer Guaita 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 with a thesis titled Primitive recursion in model categories under Michael Pfender 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.^[3]

He was awarded the 2019 Formal Methods Europe Fellowship.^[4] The award citation^[5] reads,

He was inducted as an ACM Fellow in 2020 "for the development of logical methods for design and verification of computational systems".^{[6] [7]}

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.

Notes and References

1. Book: Marti-Oliet . Narciso . Olcevzky . Peter Csaba . Talcott . Carolyn . Marti-Oliet . Narciso . Olcevzky . Peter Csaba . Talcott . Carolyn . Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday . Jose Meseguer: Scientist and friend extraordinaire . 2015 . Springer . 978-3-319-23164-8 . 1–47. 10.1007/978-3-319-23165-5 . 46149140 .
2. Web site: Jose Meseguer . The Mathematics Genealogy Project . 23 November 2022.
3. Web site: Prof. José Meseguer . cs.illinois.edu . April 28, 2022.
4. Web site: Broch Johnsen . Einar . FME Fellowship Awarded to Prof. José Meseguer . fmeurope.org . October 10, 2019 . April 28, 2022.
5. here edited for grammar and style
6. Web site: 2020 ACM Fellows Recognized for Work that Underpins Today's Computing Innovations . Association for Computing Machinery . 23 November 2022 . New York, NY . 13 January 2021.
7. Web site: Seidlitz . Aaron . ACM recognizes Meseguer, Tong for contributions to the computing field . News . University of Illinois . 23 November 2022 . 20 January 2021.