Landon J. Taylor

This page lists several of the skills I have worked to develop.

Formal Methods

Stochastic Models SAT & SMT Model Checking Theorem Proving Vector Addition Systems Chemical Reaction Networks Reachability Analysis

Programming Languages

C & C++ Java JavaScript MATLAB Prolog Python R Ruby Rust Bash SQL Dafny Web Dev

Collaboration

Version Control Reference Management Containerization Code Review Project Management Documentation Classroom Management