Resume

• 2019

  PhD in Mathematics/Logic

  University of Notre Dame

• 2018

  North American Summer School on Logic

  Language

  and Information

  Hosted at Carnegie Mellon.\n\n* Topology

  Logic and Epistemology\n* Logic and Probability\n* Proof Interpretations: A Modern Perspective\n* Topological Epistemology of Science\n* Logic for Natural Language

  Logic in Natural Language\n* Proof Theory: Logical and Philosophical Aspects

  NASSLLI '18

• 2017

  Master of Science (MS)

  Research Project \"Safety Concepts in Machine Learning\" -- Using a strict definition of \"safe

  \" the conditions under which a machine learning algorithm can be formally verified as safe are explored.\n\nCommittee: Dr. Lakeshia Jones

  advisor; Dr. Anthony Narkawicz

  external co-advisor; Dr. Xiaoshen Wang. Honorary committee member: Dr. Steven Minsker

  Mathematical Sciences

  concentration in Applied Mathematics

  Teaching Assistant

  University of Arkansas at Little Rock

• 2014

  Bachelor of Science (BS)

  Senior Project \"A Formal Theory of Categories\" -- Construction and proofs of fundamental category theory concepts within the PVS Specification and Verification System

  along with departmental presentation of project with background on formal methods and category theory.

  Mathematics

  with minor in Physics

  Research Assistant with Thomas Semiconductor Group • Teaching Assistant • Pi Mu Epsilon Mathematical Honors Society

  University of Arkansas at Little Rock

  cum laude

• 2012

  Associate of Arts (AA)

  Certificate of General Studies

  General Education

  Phi Theta Kappa Honor Society • Student Newsletter

  College of the Ouachitas

  highest honors

• CAS Cares Rescue

  Tutor for CCAP and WAGE programs

  College of the Ouachitas

  Co-Founder

  Debbie Siratt Memorial Scholarship Fund

  Public Speaking

  Functional Programming

  Data Analysis

  Formal Methods

  Project Management

  Mathematics

  Research

  Logic

  Programming

  Nonprofits

  Teaching

  Siratt

  John Vernon

  University of Arkansas at Little Rock

  College of the Ouachitas

  NASA Langley Research Center

  NASA Langley Research Center

  University of Notre Dame

  University of Arkansas at Little Rock

  NSF Graduate Research Fellow\nInstructor

  Foundations of College Algebra

  Fall 2017

  Spring 2018

  Spring 2019\nInstructor

  College Algebra (two sections)

  Fall 2018\nInstructor

  Introduction to Math Software

  Spring 2019

  University of Arkansas at Little Rock

  College of the Ouachitas

  Malvern

  Arkansas

  I took on groundskeeping duties at the College of the Ouachitas so that I could pursue my education with the employee tuition waiver. Service: founding member of Staff Council

  Maintenance Department representative to Staff Council from October 2012 to July 2014

  served on the Classification Review Committee from May 2013 to May 2015

  Maintenance Assistant

  Little Rock

  Arkansas Area

  Teaching Assistant

  Recitation for College Physics I

  Fall 2015

  Spring 2016

  Fall 2016

  Spring 2017\nTeaching Assistant

  Recitation for College Physics II

  Fall 2015

  Spring 2016

  Fall 2016

  Spring 2017\nTeaching Assistant

  Recitation for Physics for Scientists and Engineers I

  Fall 2015

  Spring 2016

  Fall 2016

  Spring 2017\nTeaching Assistant

  Recitation for Physics for Scientists and Engineers II

  Fall 2015

  Spring 2016

  Fall 2016

  Spring 2017\nTeaching Assistant

  Recitation for Physics for Scientists and Engineers III

  Fall 2016

  Spring 2017\n\nResearch Assistant

  Dr. Allan Thomas's Semiconductor Research group

  May 2015 to August 2016\nSemiconductor research utilizing thin films and nanostructures. Experience: atomic layer deposition

  spray deposition

  electrochemical deposition

  chemical bath deposition

  scanning electron microscope

  Xray diffraction

  Van der Pauw electronic characterization

  optical characterization

  developing software tools to analyze experimental results

  Undergraduate Assistant

  University of Arkansas at Little Rock

  Charles W Donaldson Scholar's Academy & Undergraduate Summer Bridge Program

  University of Arkansas at Little Rock

  Graduate Assistant

  NSF Graduate Research Fellow

  Notebaert Fellow\nTA for Calculus A

  Fall 2020

  University of Notre Dame

  Intern with Langley Formal Methods Research Program

  Safety-Critical Avionics Systems Branch

  Refactoring of trigonometry library in the NASA PVS library (https://github.com/nasa/pvslib)

  NASA Langley Research Center

  Intern with Langley Formal Methods Research Program

  Safety-Critical Avionics Systems Branch

  Formalizing interval predictor models

  verifying published results

  and establishing bounds on the size of supporting sets.

  NASA Langley Research Center

  Chancellor's List & Dean's List

  Fall '14

  Fall '15

  Spring '16

  Fall '16

  Spring '17

  University of Arkansas at Little Rock

  Outstanding Achievement by an Undergraduate Student

  University of Arkansas at Little Rock

  Department of Mathematics and Statistics

  Richard and Peggy Notebaert Premier Fellowship

  University of Notre Dame

  Outstanding Undergraduate Teaching Assistant

  University of Arkansas at Little Rock

  Department of Physics and Astronomy

  NSF Graduate Research Fellow

  National Science Foundation

  Outstanding Senior Award

  University of Arkansas at Little Rock

  Department of Mathematics and Statistics