Jose Meseguer
José Meseguer | |
|---|---|
| Born | 1950 (age 74–75) |
| Title | Professor, Computer Science |
| Awards |
|
| Academic background | |
| Alma mater | University of Zaragoza (PhD) |
| Thesis | Primitive recursion in monoidal categories (1975) |
| Doctoral advisor | Michael Pfender |
| Academic work | |
| Discipline | Computer science |
| Institutions | UIUC |
| Website | http://formal.cs.illinois.edu/meseguer/ |
José Meseguer Guaita 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.