Explore relationships

Jose Meseguer

José Meseguer Guaita (born 1950) 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.

Use + to expand a branch. Click a topic name to open its summary.