Information Trust Institute block of abstract images
Information Trust Institute block of abstract images

Jose Meseguer

Profile Photo
Professor, Computer Science
Ph.D. in Mathematics, University of Zaragoza, 1975 ("Cum Laude")

Professor Meseguer is turning his formal method techniques towards analysis of security protocols and development of robust internetworking techniques in disruptive environments.

Professor 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.

(217) 333-6733
mesegueratillinois [dot] edu