Experience

Galois, Inc.

• United States
• Software Development
• 1 - 100 Employee

• Research Software Engineer

  • Jan 2019 - Present



Programming Languages Lab at the University of Maryland

• College Park, MD

• Graduate Research Assistant

  • May 2012 - Jul 2020

  Formally verified replicated data types for distributed systems in Liquid Haskell. Developed LWeb, an information flow control system that protects confidential information in web applications. Designed the Build it/Break it cybersecurity contest. Formally verified replicated data types for distributed systems in Liquid Haskell. Developed LWeb, an information flow control system that protects confidential information in web applications. Designed the Build it/Break it cybersecurity contest.



Bard College Mathematics Undergraduate Research Experience

• Annandale-on-Hudson, NY

• Undergraduate Researcher

  • Jun 2011 - Aug 2011

  Created a more efficient algorithm to test for dimensional enhancement of Adinkras. Created a more efficient algorithm to test for dimensional enhancement of Adinkras.



National Institute of Standards and Technology

• Gaithersburg, MD

• Student Computer Scientist

  • May 2010 - Aug 2010

  Developed backend software for the National Software Reference Library. Developed backend software for the National Software Reference Library.



University of Maryland Center for String and Particle Theory

• College Park, MD

• Student Researcher

  • Jun 2008 - Aug 2010

  Published papers deriving supersymmetric relationships between theoretical particles. Published papers deriving supersymmetric relationships between theoretical particles.



JP Solutions Computer Repair Business

• Silver Spring, MD

• Founder

  • Jan 2008 - May 2010

  Founded and ran a computer repair business. Founded and ran a computer repair business.