User:Greg sullivan

I am a computer science researcher with a background in formal analysis of programming languages (and programs), and with a focus on defensive cyber security.

See my LinkedIn profile for some history.