Prof. José Meseguer
| Office: | 2108 Siebel Center |
| Address: | The Thomas M. Siebel Center for Computer Science 201 N. Goodwin Ave. Urbana, IL 61801-2302, USA |
| Phone: | +1-217-333-6733 |
| Email address: | meseguer@illinois.edu |
| Secretary: | Donna Coleman (Office: 2106 Siebel Center, Phone: +1-217-244-8837) |
José Meseguer is Professor of Computer Science at UIUC and leads the Formal Methods and Declarative Languages Laboratory. He obtained his Ph.D. in Mathematics at the University of Zaragoza, Spain, in 1975. After post-doctoral stays at the University of Santiago de Compostela, and at the University of California at Berkeley, he joined in 1980 the Computer Science Laboratory at SRI International in Menlo Park, California, where he became a Principal Scientist and Head of the Logic and Declarative Languages Group. He joined the University of Illinois at Urbana-Champaign in 2001. He 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. Many of his publications are available in the DBLP data base.
