meseguer@illinois.edu
2108 Siebel Center
Phone: 217-333-6733
Fax:217-265-6494
Web: Personal Site
Mail to:
2108 Siebel Center
Phone: 217-333-6733
Fax:217-265-6494
Web: Personal Site
Mail to:
Thomas M. Siebel Center for Computer Science
University of Illinois, MC258
201 N. Goodwin Avenue
Urbana, IL 61801-2302
Jose Meseguer
ProfessorPh.D. University of Zaragoza, 1975
Research Statement
José Meseguer has worked on the design and implementation of several declarative languages, including the OBJ and Maude languages, on formal specification and verification techniques, on concurrency theory, on formal approaches to object-oriented specification, on parallel software and architectures for declarative languages, and on the logical foundations of computer science using equational logic, rewriting logic, and the theory of general logics.
In the News
