Treegle - Website, Beta Release
A next generation online dictionary. A single webpage that dynamically displays multiple definitions providing a visualization of how the meaning of one word depends on another.
MetaTree - Website
A collection of projects for organizing and displaying data in trees. Most notably, there is a search history for Wikipedia, a tool for chess gameplay analysis, and an app for choose your own path story writing.
See More Projects -
Propositional Theorem Enumerator,
HistoryTree: A Chrome Extension,
A Brief Guide to Self-Referential Programs,
Time Lapse Painting: Pittsburgh,
Intersection Non-Emptiness for Tree Shaped Finite Automata
Download Draft (Feb. 2016), Slides from related talks at UB, RIT, Waterloo, IBM, and CTW'15
Tight Lower Bounds for Classical Problems Relative to a Random Oracle (with A. Hughes)
On the Complexity of Intersection Non-Emptiness Problems
Abstract, Doctoral Dissertation, Gödel's Lost Letter
Shortest Paths in One-Counter Systems (with D. Chistikov, W. Czerwinski, P. Hofman, and M. Pilipczuk)
Download (FoSSaCS 2016), Download from Arxiv
On the Complexity of Intersecting Regular, Context-free, and Tree Languages (with J. Swernofsky)
Download, ICALP 2015: Slides
Hardness Results for Intersection Non-Emptiness
Download, ICALP 2014: Slides
Intersection Emptiness for Finite Automata
Honors Thesis, Gödel's Lost Letter
* Honors Thesis is outdated. The results were significantly refined and improved in the ICALP 2014 publication.
Fixed Parameter Inductive Inference
Research with Manuel Blum (Summer 2013), Download Draft, Additional Discussion
Gödel's Theorem Fails for Pi_1 Axiomatizations
Nested Proof Predicates, Download Draft
Mentorship is one of my greatest passions. I enjoy helping students to build software solutions to real problems. My expertise lies in developing the concept for a minimal viable product, tracking the software lifecycle, launching beta testing for user feedback, and mediation to help resolve interpersonal conflicts.
Are you interested in having me as your mentor for a project? Anyone is welcome. Please sign-up here and see past projects that I've been a mentor for while at University at Buffalo.
Achievelife - Dan, Fan, James, Jesse, Jonathan, Miaomiao, Yuzhe
Achievelife is be a mobile app meant to gamify your life and lets you level up by completing real life achievements.
Biubiubiu - Jia Qi, Leon, Runda, Xiaofei
A typing game written in Java.
Course Evaluation - Aaron, Linn, Min, Seti, Timothy
A collaboration with the Center for Educational Innovation to give University at Buffalo students access to course evaluation data for select courses.
Memory1 (Memory Website) - Andrew, Ben, Jake, Julius, Kang, Ryan
A website for training human memorization of key-value pair maps from letters to numbers.
Memory2 - Alex, Joel, Rony
A rock-paper-scissors meets pokemon styled memorization game made in Unity.
Memory3 (Download from Google Play Store) - Amy, Moe, Nick, Youngki
An android app for training human memorization of key-value pair maps from letters to numbers.
PKB - Alex, Jacob, Piyush
Building a web app that uses your voice to develop webpages.
Team PageMe - Adi, Ali, Jason, Mitchell, Sai, Shokoor
Bringing back the pager as an android app.
Visual Construction - Amrit, Apar, Bin, Bryon, Der Shen, Jing, Jon, Kai, Robert, Sadek, Vince
The Visual Construction Project develops AR technologies to aid in the proper construction of designs. This project started from communication with LP Ciminelli, a Buffalo based company.