Thesis Title: Matching mu-Logic
Grigore Rosu, Chair and Director of Research
Madhusudan Parthasarathy
Jose Meseguer
Margus Veanes, Microsoft Research
School of Computing and Data Science
Thomas M. Siebel Center for Computer Science201 N. Goodwin Ave. MC-258Urbana, IL 61801
Chicago Office200 South Wacker Drive, Suite 701 Chicago, IL 60606
General email: admin@siebelschool.illinois.edu