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