Resumes
Resumes
Principal Researcher
View pageLocation:
5520 southeast Insley St, Portland, OR 97206
Industry:
Computer Software
Work:
Galois, Inc.
Principal Researcher
Galois, Inc. Jul 1, 2015 - Jul 2019
Researcher
Free & Fair Jul 1, 2015 - Jul 2019
Principled Computer Scientist
Princeton University Aug 2010 - Nov 2015
Phd Student
Kansas State University 2007 - 2010
Research Assistant
Principal Researcher
Galois, Inc. Jul 1, 2015 - Jul 2019
Researcher
Free & Fair Jul 1, 2015 - Jul 2019
Principled Computer Scientist
Princeton University Aug 2010 - Nov 2015
Phd Student
Kansas State University 2007 - 2010
Research Assistant
Education:
Princeton University 2010 - 2015
Doctorates, Doctor of Philosophy, Computer Science, Philosophy Kansas State University 2007 - 2010
Masters, Computer Science
Doctorates, Doctor of Philosophy, Computer Science, Philosophy Kansas State University 2007 - 2010
Masters, Computer Science
Skills:
Java
Computer Science
Programming
Databases
Html
Network Security
Algorithms
Parallel Computing
Latex
Parallel Programming
Formal Verification
Static Analysis
Security
Programming Languages
Compilers
Computer Science
Programming
Databases
Html
Network Security
Algorithms
Parallel Computing
Latex
Parallel Programming
Formal Verification
Static Analysis
Security
Programming Languages
Compilers