José Meseguer Guaita is a Spanish

computer scientist A computer scientist is a scientist who specializes in the academic study of computer science. Computer scientists typically work on the theoretical side of computation. Although computer scientists can also focus their work and research on ...

, and professor at the

University of Illinois at Urbana–Champaign The University of Illinois Urbana-Champaign (UIUC, U of I, Illinois, or University of Illinois) is a public land-grant research university in the Champaign–Urbana metropolitan area, Illinois, United States. Established in 1867, it is the f ...

. 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 The University of Zaragoza, sometimes referred to as Saragossa University () is a public university with teaching campuses and research centres spread over the three provinces of Aragon (Spain). Founded in 1542, it is one of the List of oldest u ...

, after which he did post-doctoral work at the

University of Santiago de Compostela The University of Santiago de Compostela - USC (, ) is a public university located in the city of Santiago de Compostela, Galicia, Spain. A second campus is located in Lugo, Galicia. It is one of the world's oldest universities in continuous o ...

and the

University of California at Berkeley The University of California, Berkeley (UC Berkeley, Berkeley, Cal, or California), is a public land-grant research university in Berkeley, California, United States. Founded in 1868 and named after the Anglo-Irish philosopher George Berkele ...

. In 1980 he joined the Computer Science Laboratory at

SRI International SRI International (SRI) is a nonprofit organization, nonprofit scientific research, scientific research institute and organization headquartered in Menlo Park, California, United States. It was established in 1946 by trustees of Stanford Univer ...

, 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. He was awarded the 2019

Formal Methods Europe Formal Methods Europe (FME) is an organization whose aim is to encourage the research and application of formal methods for the improvement of software and computer hardware, hardware in computer-based systems. The association's members are drawn fr ...

Fellowship. The award citation reads, He was inducted as an

ACM Fellow ACM Fellowship is an award and fellowship that recognises outstanding members of the Association for Computing Machinery (ACM). The title of ACM Fellow A fellow is a title and form of address for distinguished, learned, or skilled individuals ...

in 2020 "for the development of logical methods for design and verification of computational systems".

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

{{DEFAULTSORT:Meseguer, José Living people University of Illinois Urbana-Champaign faculty Spanish computer scientists University of Zaragoza alumni SRI International people 1950 births Spanish scientists