Math for People
I am currently a PhD candidate in Boston University's Computer Science department
My research interests are in type theory, automated theorem proving and formal methods.
- Lemay, Mark, Cheng Zhang, and William Blair. "Developing a Dependently Typed Language with Runtime Proof Search." In Proceedings of the 5th ACM SIGPLAN International Workshop on Type-Driven Development (TyDe 2020), 2020.
- Lemay, Mark J. "Understanding Java usability by mining GitHub repositories." 9th Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU 2018). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2019.
- Lemay, Mark, et al. "Automated Provenance Analytics: A Regular Grammar Based Approach with Applications in Security." 9th USENIX Workshop on the Theory and Practice of Provenance (TaPP 2017). USENIX Association, 2017.
- Hassan, Wajih Ul, et al. "Towards Scalable Cluster Auditing through Grammatical Inference over Provenance Graphs." Network and Distributed Systems Security Symposium. 2018.