In 2015 I worked on a complete soutions manual to "Introduction to Algorithms". The page for it can be found
Summations of Linear recurrences
Computing Minimum Length Representations of Sets of Words of Uniform Length
Computing Depths of Patterns.
Computing the Partial Word Avoidability Indices of Ternary Patterns.
Tight Lower Bounds for Unequal Division
is a link to the Spring 2016 Class Project for Dr. Zeilberger's Experimental Mathematics class. The theme is logic puzzles!
Some current work can be found
and last modified October 9, 2017