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, 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.