I'm interested in Programming Languages and Formal Methods. I'm even more interested in the applications of these fields on real-life programs and systems - especially when it comes to security applications. I'm interested in theorem-provers, a subset of formal methods, and, in particular, I enjoy working with the Coq proof assistant.
Other research interests include logic, software security, cybersecurity, block chains, and cloud computing.
Please refer to my resume.
I like lists, so here are some lists that I have compiled. *Under construction*