GET IN TOUCH
We take pride in personally connecting with all interested partners, collaborators and potential clients. Please email us with a brief description of how you would like to be connected with Galois and we will do our best to respond within one business day.
Christa Jenkins
Research Engineer
Background
Christa is a former embedded systems software developer who earned her PhD in computer science (focused on programming language theory) at U. Iowa, followed by a postdoc at Stony Brook on formal methods and security. Her current research interests include parsers, formal methods, dependent types, and concurrent separation logic.
WORK AREAS
No areas found
