Matthew joined Microsoft's Data & AI team as a software engineer/applied scientist in 2017, after having graduated from Dartmouth College with a B.S. in Mathematics and Computer Science. He founded Infer# in 2019, which to-date is the only open-source semantic static analysis available for .NET. It enables developers across the globe to detect critical performance and security issues in minutes right in their IDE.