About Allison

Ph.D Candidate in the intersection of Cybersecurity (Fuzzing) and PL (Formal Methods). Former software dev and runt of the litter of CMU SCS'08.

My research agenda is informed by the security sins of my past career as a software engineer and triage lead.
-----
“Formal methods will never have a significant impact until they can be used by people who don't understand them” TAPL, Attr. Tom Melham

Challenge Accepted <3
-----
Mostly here for the phd-posties, cat pics, & happy vibes.

Lists

Timeline

anaaktge has no activity yet