Jose Meseguer
| Use attributes for filter ! | |
| Gender | Male |
|---|---|
| Affiliations | University Of Illinois At Urbana-Champaign |
| Citations | 34,070 |
| H index | 83 |
| Education | University of Zaragoza |
| Interests | Computer Science |
| Mathematics | |
| Logic | |
| Edited works | Concurrency, Graphs and Mod... |
| Algebra, Meaning, and Co... | |
| Specification, Algebra, and Soft... | |
| Protocols, Strands, and Logi... | |
| Books | All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic |
| Date of Reg. | |
| Date of Upd. | |
| ID | 3428284 |
Jose Meseguer Life story
José 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.
