Jose Meseguer

Jose Meseguer
Jose Meseguer
Professor, Computer Science
(217) 333-6733
2108 Siebel Center for Comp Sci

For more information

Education

  • Ph.D. in Mathematics, University of Zaragoza, 1975 ("Cum Laude")

Recent Courses Taught

  • CS 173 - Discrete Structures
  • CS 476 - Program Verification
  • CS 522 - Programming Language Semantics
  • CS 524 - Concurrent Progrmg Languages
  • CS 576 - Topics in Automated Deduction
  • CS 591 JM - Advanced Seminar