Research Scientist, Boston University
- 111 Cummington St
- (617) 358-6696
Mark Reynolds started as a Postdoctoral Fellow at the Hariri Institute in 2012. He is a security researcher specializing in the application of formal methods to malware detection. He obtained a master’s degree in mathematics from MIT, and a PhD in Computer Science from Boston University. His doctoral work formed the basis for the Software Inspection and Certification Services project, pursued at the Hariri Institute with support from Draper Labs and BU’s Technology Development office. He has worked on static analysis tools for more than 12 years.