Hi! I’m Paula Neeley, a software assurance and formal methods developer at the Johns Hopkins University Applied Physics Laboratory.
I do research in formal verification. I earned a Master’s degree in Logic, Computation, and Methodology at Carnegie Mellon University, where I was advised by Jeremy Avigad, and am taking an extended leave of absence (in good standing) from doctoral studies in the same program.
See my CV here. Reach me at paula DOT neeley AT jhuapl DOT edu.