Topic summary
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.
Topic summary
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.