PhD Student in Computer Science
Oregon State University
- Portland, Oregon
Cards-based IDE for research into context-aware, heuristic problem-solving development tools.
Repository miner for locating octopus merges within git version history.
SAT/SMT Solver using Z3 for locating patterns in Git repository graphs
Forked from MichaelHilton/TDDViz
A demo repo for TDDViz, a tool to help visualize your TDD process
793 contributions in the last year
Contributed to EPICLab/synectic, EPICLab/EPICLab.github.io, nelsonni/website and 4 other repositories