Andrei Lapets started as a Postdoctoral Fellow at the Hariri Institute in 2012. His current research efforts are aimed at evaluating and improving the accessibility of automated formal reasoning assistance tools. Many such tools have been developed by the formal verification and programming languages communities, but there are still many opportunities to integrate multiple tools behind accessible interfaces in order to better support users engaging in university instruction and research in specific domains. There is also a need to more rigorously evaluate the usability of such tools using techniques developed by the user interface design and human-computer interaction communities. He has a PhD in Computer Science from Boston University, as well as an SM and AB in Computer Science from Harvard University.
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.