Experience

Galois, Inc.

• United States
• Software Development
• 1 - 100 Employee

• Software Research Engineer

  • Jan 2023 - Present

  Perform software engineering research for formally verified and security software systems Current Project(s): - Static analysis for C++ code (written in Haskell) --- Detect C++ ODR violations Perform software engineering research for formally verified and security software systems Current Project(s): - Static analysis for C++ code (written in Haskell) --- Detect C++ ODR violations



Libum

• United States
• Financial Services
• 1 - 100 Employee

• Software Engineer

  • Feb 2022 - Present

  Full-stack development: Angular/Typescript (frontend), SST/Typescript (backend). Full-stack development: Angular/Typescript (frontend), SST/Typescript (backend).



Brigham Young University

• United States
• Higher Education
• 700 & Above Employee

• Assistant Teaching Professor

  • Oct 2021 - Dec 2022

  Department of Computer ScienceCourses Taught: - Fall 2022: CS111 (2 sections), CS236 (2 sections) - Summer 2022: CS236 - Winter 2022: CS111, CS329 (2 sections), CS465 Computer Security - Fall 2021: CS142 (2 sections), CS236 (2 sections)Department Citizenship: - Undergrad Committee (2022-Present) - Teaching Committee (2021-Present) - Chair, Systems & Security Committee (2021-Present) - CS Inclusion, Diversity, & Equity Committee (2021-Present)Management: - Recruited, hired, and trained over 100 Teaching Assistants Show less

• Visiting Instructor

  • Nov 2019 - Oct 2021

  Department of Computer Science.Courses Taught: - Fall 2021: CS142 (2 sections), CS236 (2 sections) - Spring 2021: CS142, CS236 - Winter 2021: CS329, CS236 (2 sections) - Fall 2020: CS236 (3 sections) - Spring 2020: CS142, CS236 - Winter 2020: CS329 Testing, Analysis, & Verification, CS236 Discrete Structures - Fall 2019: CS142 Intro to Computer Programming (2 sections)Department Citizenship: - Software Engineering Committee (2019-2020) - Teaching Committee (2020-2021) - Faculty Hiring Committee (2020-2021) Show less

• Adjunct Faculty Instructor

  • Aug 2019 - Oct 2019

  Adjunct instructor in the Department of Computer Science.



Sandia National Laboratories

• United States
• Defense and Space Manufacturing
• 700 & Above Employee

• Independent Contractor

  • Jan 2020 - Nov 2021

  Systems and software engineering support for secure embedded software systems and PC applications Systems and software engineering support for secure embedded software systems and PC applications



Sandia National Laboratories

• United States
• Defense and Space Manufacturing
• 700 & Above Employee

• Senior Member Of Technical Staff

  • Jan 2018 - Aug 2019

  - Introduced and implemented Agile Scrum Framework on projects previously reliant on waterfall method- Architected software design using UML and OOP design principles- Integrated Unit Testing, Jenkins, and Coverity into software development flow- Acted as primary interface for multiple external customers and maintained relationships as technical lead- Delivered Python SW tool for programming custom hardware on schedule and under budget- Designed and implemented custom data structures and algorithms optimized for cryptographic processing- Mentored junior software engineersSoftware Architect/Engineer: - Developed high-reliability software for high-consequence embedded software systems (C/C++/Assembly) and PC applications (C#/Java/Python/Perl/Lua) Show less

• Member of Technical Staff

  • Dec 2014 - Dec 2017

  - Led, architected, and developed C# SW tool – operational since September 2015 - Maintained the software release process for the software deliverable packages - to present - Technical lead/interface with customer- Designed, developed, and tested secure embedded software systems- Designed front end GUIs and back end applications to meet various project requirements

• Critical Skills Master's Program Student

  • Jan 2013 - Dec 2014

  While onsite at SNL (12 months): designed, developed, and tested secure PC and embedded software systems.

• SIP Technical-Undergrad Intern

  • May 2010 - Dec 2012

  Developed and tested secure PC and embedded software systems.



Brigham Young University

• United States
• Higher Education
• 700 & Above Employee

• Undergraduate Research Assistant

  • Aug 2011 - Dec 2012

  Statistical analysis of distributed hash tables, the HyperCube, and development of algorithms for a distributed hash tables with HyperCube-like structure as means for peer-to-peer connectivity and data sharing over the Internet.

• Undergraduate Teaching Assistant

  • Aug 2011 - Dec 2012

  Mentored students in course topics. Created and graded assignments. Taught course in professor's absence.