Matthew Might
Location: (Salt Lake City, Utah)
Personal Research Web Page: http://matt.might.net/
Keywords: optimization, parallelism, security, verification, static analysis, abstract interpretation, control-flow analysis, functional programming, object-oriented programming
Posted on: Wednesday, April 28th, 2010
Broad Research Area: Information Assurance / Security / Privacy / Cryptography, Programming Languages / Compilers, Software Engineering
Research Interests:
Static analysis of complex software systems, with the goal of optimizing, securing and parallelizing such systems.
Right now, my group is working on a range of projects, including accelerating classical static analysis with GPUs, automatic parallelization of functional programs, deep shape analysis of object-oriented programs and software understanding tools for legacy code.
We’re also making foundational thrusts aimed at improving the speed and precision of static analyzers in general.
I’d be happy to mentor CIFellows with interests in or a near any of these topics. Please contact if interested!
Contact Information:
Call or email: +1 404 376 3204 or might@cs.utah.edu
