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.
He was awarded the 2019 Formal Methods Europe Fellowship.

Selected research