Jose Meseguer
Professor, Computer Science
(217) 333-6733
2108 Thomas M. Siebel Center for Computer Science
For More Information
Education
- Ph.D. in Mathematics, University of Zaragoza, 1975 ("Cum Laude")
Recent Courses Taught
- CS 476 - Program Verification
- CS 524 - Concurrent Progrmg Languages
- CS 576 - Topics in Automated Deduction