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