Jose Meseguer

Electrical and Computer Engineering
Jose  Meseguer
Jose Meseguer

For more information

Profile

Education

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

Courses Taught

  • CS 373 - Theory of Computation
  • CS 476 - Program Verification
  • CS 522 - Programming Language Semantics
  • CS 576 - Topics in Automated Deduction
  • CS 591 - Advanced Seminar