PeopleofSuperintelligence

Researcher

José Meseguer

José Meseguer is a computer scientist whose work on Maude and rewriting logic helps specify and verify computational systems. He earned a mathematics PhD at the University of Zaragoza in 1975 and joined SRI International in 1980, where he became Principal Scientist and head of the Logic and Declarative Languages Group. He coauthored a 1996 paper on rewriting-logic strategy languages with Manuel Clavel and used Maude to explore them. He joined the University of Illinois in 2001, coauthored the 2007 book All About Maude, and received the Formal Methods Europe Fellowship in 2019 and ACM Fellowship in 2020. As of October 2026, he is a professor at Illinois; his 2026 chapter addresses programming and verifying actor systems in rewriting logic.

Born
1950

Years link to their sources.

Timeline

  1. 1975

    A mathematics PhD

    He earns a PhD in mathematics at the University of Zaragoza in 1975.

  2. 1980

    Logic group at SRI

    In 1980, he joins the Computer Science Laboratory at SRI International. There, he becomes a principal scientist and head of the Logic and Declarative Languages Group.

  3. 1996

    Maude and rewriting logic

    In 1996, he coauthors “Reflection and Strategies in Rewriting Logic” with Manuel Clavel; the paper explores strategy languages using Maude.

  4. 2001

    Joining Illinois

    He joins the University of Illinois at Urbana-Champaign in 2001.

  5. 2007

    A Maude textbook

    In 2007, he coauthors All About Maude, a book on specifying, programming and verifying systems in rewriting logic.

  6. 2019

    The FME Fellowship

    In 2019, he receives the Formal Methods Europe Fellowship.

  7. 2020

    An ACM Fellowship

    In 2020, the Association for Computing Machinery names him an ACM Fellow for his work in formal methods.

  8. As of October 2026

    Professor at Illinois

    As of October 2026, he is a Professor at the Siebel School of Computing and Data Science at the University of Illinois at Urbana-Champaign. In 2026, he publishes the chapter “Programming and Verifying Actor Systems in Rewriting Logic” in Lecture Notes in Computer Science.

Career

  1. NowUniversity of Illinois Urbana-ChampaignProfessor
  2. From 1980SRI InternationalPrincipal Scientist and head of the Logic and Declarative Languages Group

Education

  1. 1975University of ZaragozaPhD in mathematics

From the biography.

  1. The Massachusetts Institute of Technology trained or employed 44 of the 187 AI major-prize winners, more than any other universityIncludes University of Illinois Urbana-Champaign. The Massachusetts Institute of Technology trained or employed 44 of the 187 AI major-prize winners, more than any other university. We compare doctorate and 5+ year employment links, career timing and current workplaces for 187 major-prize and 1,111 best-paper winners.
  2. 84% of people shaping AI with recorded undergraduate and doctoral schools changed institutions for their doctorateIncludes University of Illinois Urbana-Champaign. 84% of people shaping AI with recorded undergraduate and doctoral schools changed institutions for their doctorate. Across 2,116 people with both an undergraduate degree and a doctorate recorded, we trace which undergraduate schools feed which doctoral programs, how often students stay at the same school, and how paths differ by birth-country region.
  3. More people shaping AI studied at Massachusetts Institute of Technology than at any other institutionIncludes University of Illinois Urbana-Champaign. We estimate where the people shaping AI studied and where their careers led. Massachusetts Institute of Technology leads with 467 former students, including 291 recorded doctorates.
  4. 11% of AI doctorate holders from 2010 to 2016 founded or led a company or lab by 10 years after graduationIncludes University of Illinois Urbana-Champaign. We estimate how often AI doctorate holders founded or led a company or lab by 10 years after graduation, how waiting times compare between founders and top jobs, and which universities trained the most.

Colleagues

People with dated positions at the same organization in the same years.

Sources and credits

Photo: We have no published photo of José Meseguer yet. Send us a free-licensed photo.

  1. Prof. José Meseguer formal.cs.illinois.edu. Checked 21 October 2026.
  2. Jose Meseguer - Wikipedia en.wikipedia.org. Checked 21 October 2026.
  3. Papers on Maude and Rewriting Logic maude.cs.illinois.edu. Checked 21 October 2026.
  4. Reflection and strategies in rewriting logic maude.cs.illinois.edu. Checked 21 October 2026.
  5. All about maude - A high-performance logical framework how to specify, program and verify systems in rewriting logic | Illinois Experts experts.illinois.edu. Checked 21 October 2026.
  6. FME Awards · Formal Methods Europe fmeurope.org. Checked 21 October 2026.
  7. ACM Recognizes Meseguer, Tong for Contributions to the Computing Field | Siebel School of Computing and Data Science | Illinois siebelschool.illinois.edu. Checked 21 October 2026.
  8. Jose Meseguer - Illinois Experts experts.illinois.edu. Checked 21 October 2026.
  9. Programming and Verifying Actor Systems in Rewriting Logic - Illinois Experts experts.illinois.edu. Checked 21 October 2026.