Experience

Adventium Labs, a Galois company
• Senior Research Scientist

  • Aug 2020 - Present

Collins Aerospace
• Singapore
• Industrial Machinery Manufacturing
• 1 - 100 Employee
• Systems and Software Engineer (Co-Op)

  • Dec 2017 - Aug 2020

Stottler Henke Associates
• United States
• Software Development
• 1 - 100 Employee
• Formal Methods Consultant

  • Dec 2017 - Aug 2020


UMN Critical Systems Group (Crisys)

• Graduate Student

  • Sep 2016 - Aug 2020

  Researcher and student Researcher and student


University of Minnesota, Computer Science
• United States
• Higher Education
• 1 - 100 Employee
• Research Assistant

  • Aug 2016 - Aug 2020


German Aerospace Center (DLR)

• Germany
• Research Services
• 700 & Above Employee

• Visiting Researcher

  • Jun 2018 - May 2019

  Safety analysis, system modeling, and model verification of Unmanned Aerial Vehicles. Safety analysis, system modeling, and model verification of Unmanned Aerial Vehicles.



University of Minnesota Duluth

• United States
• Higher Education
• 700 & Above Employee

• Instructor

  • Aug 2015 - May 2016

  As a full time mathematics instructor, my duties include structuring and organizing the course, planning lecture content, designing classroom activities and worksheets, as well as the usual exam, homework, and quiz planning. My goal is to get the student actively involved in the material in a way that creates a love of knowledge, solid critical thinking skills, and problem solving techniques. Classes taught include Math 3280 - Differential Equations, Math 1005 - College Algebra, and Math 103 - Basic Math. Show less

• Graduate Student Teaching Assistant

  • Aug 2013 - May 2015

  Teaching Assistant in classes including Calculus II, Elementary Real Analysis, Numerical Methods, and College Algebra. These duties include leading discussion sections, study groups, and labs using Mathematica, MyMathLab, and Matlab. Instructor for a Basic Math course Fall '14 and in Spring '15 at UMD. This course prepares students for enrollment in College Algebra. The content of the course is Prealgebra-Algebra II. Teaching Assistant in classes including Calculus II, Elementary Real Analysis, Numerical Methods, and College Algebra. These duties include leading discussion sections, study groups, and labs using Mathematica, MyMathLab, and Matlab. Instructor for a Basic Math course Fall '14 and in Spring '15 at UMD. This course prepares students for enrollment in College Algebra. The content of the course is Prealgebra-Algebra II.



Self Employed Tutor of the Sciences

• Professional Private Tutor

  • Jan 2009 - Aug 2013

  Private tutoring in math subjects ranging from high school algebra, Calculus I-IIII, Differential Equations, Real Analysis, Abstract Algebra, and Partial Differential Equations. Tutoring in other subjects included General Chemistry I-II, Organic Chemistry I-II, Anatomy and Physiology I-II, Biology I-II, Computer Science I-II, and Software Engineering. Private tutoring in math subjects ranging from high school algebra, Calculus I-IIII, Differential Equations, Real Analysis, Abstract Algebra, and Partial Differential Equations. Tutoring in other subjects included General Chemistry I-II, Organic Chemistry I-II, Anatomy and Physiology I-II, Biology I-II, Computer Science I-II, and Software Engineering.



Lake Superior College

• United States
• Higher Education
• 200 - 300 Employee

• Science and Math Tutor

  • Jan 2009 - May 2011

  I was a tutor of science and mathematics in the Learning Center at Lake Superior College. This was a drop-in tutoring center where students came with their questions for a variety of classes. For the first year, I worked mainly as a Chemistry tutor and eventually moved into Mathematics lab for the last year of my employment. I organized and led study sessions and answered questions one on one for the students. I was a tutor of science and mathematics in the Learning Center at Lake Superior College. This was a drop-in tutoring center where students came with their questions for a variety of classes. For the first year, I worked mainly as a Chemistry tutor and eventually moved into Mathematics lab for the last year of my employment. I organized and led study sessions and answered questions one on one for the students.



Lutheran Social Service of Minnesota

• United States
• Non-profit Organizations
• 700 & Above Employee

• Renaissance Transitional Living Youth Worker

  • Nov 2007 - Sep 2010

  As a case worker for homeless youth between the ages of 15 and 21, I assisted youth in completing educational goals, finding stable living environments, and making healthy lifestyle choices. The transitional living program had a long term shelter available for those wishing to complete case plans within the agency. As a Youth Worker, I assigned specific tasks and held the youth accountable to their case plans. In the program was a clinic that I often assisted with cleaning, organizing, and general help. Show less