{"id":7403,"date":"2015-07-24T15:18:31","date_gmt":"2015-07-24T19:18:31","guid":{"rendered":"https:\/\/www.bu.edu\/hic\/?post_type=profile&#038;p=7403"},"modified":"2023-10-27T13:59:23","modified_gmt":"2023-10-27T17:59:23","slug":"mark-reynolds","status":"publish","type":"profile","link":"https:\/\/www.bu.edu\/hic\/profile\/mark-reynolds\/","title":{"rendered":"Mark Reynolds"},"content":{"rendered":"<p>Mark Reynolds\u00a0started as\u00a0a 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\u2019s 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\u2019s Technology Development office. He has worked on static analysis tools for more than 12 years.<\/p>\n<p><a href=\"https:\/\/www.researchgate.net\/profile\/Mark-Reynolds-9\" target=\"_blank\" rel=\"noopener noreferrer\">ResearchGate<\/a><\/p>\n","protected":false},"author":8550,"template":"","_links":{"self":[{"href":"https:\/\/www.bu.edu\/hic\/wp-json\/wp\/v2\/profile\/7403"}],"collection":[{"href":"https:\/\/www.bu.edu\/hic\/wp-json\/wp\/v2\/profile"}],"about":[{"href":"https:\/\/www.bu.edu\/hic\/wp-json\/wp\/v2\/types\/profile"}],"author":[{"embeddable":true,"href":"https:\/\/www.bu.edu\/hic\/wp-json\/wp\/v2\/users\/8550"}],"version-history":[{"count":5,"href":"https:\/\/www.bu.edu\/hic\/wp-json\/wp\/v2\/profile\/7403\/revisions"}],"predecessor-version":[{"id":29800,"href":"https:\/\/www.bu.edu\/hic\/wp-json\/wp\/v2\/profile\/7403\/revisions\/29800"}],"wp:attachment":[{"href":"https:\/\/www.bu.edu\/hic\/wp-json\/wp\/v2\/media?parent=7403"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}