Matthew J. McGill
Matthew J. McGill is a Ph.D. student in the
Department of Computer Science and
Engineering at Michigan State
University.
Research Interests
Matt is interested in exploring how model-driven engineering techniques
may be used to manage the complexity of large software systems, and
in making the power of formal methods for software engineering more
accessible to the average software developer via strong tool support.
Matt is currently working on tools and methods for verifying and
validating model transformations.
Publications
Projects and Software