CV   LinkedIn   AngelList

My professional interests lie in software, entrepreneurship, research, and teaching. Most of all, I care about people and community. My experiences teaching have shown me how important community is in listening, learning, and making an impact.

In December 2016, I will be graduating from University at Buffalo with a PhD in Computer Science and Engineering. I am currently seeking full-time positions in my hometown Pittsburgh, PA.

Personal Projects

  Treegle - Website

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.

  WikiTree - Website

An alternative interface for Wikipedia that dynamically records and displays your search history.

  SudokuTree - Website

SudokuTree allows you to create checkpoints while you play sudoku and revert back to previous positions in the game.

  ChessBrancher - Website

ChessBrancher allows you to try out many moves from a single board configuration and build a tree of possible chess games.

  See More Projects - MetaTree, HistoryTree: A Chrome Extension, Comparing University Password Policies, A Brief Guide to Self-Referential Programs, Time Lapse Painting: Pittsburgh, Video Game Mixtape,, Mathematical Logic Tools and Games


Active Papers:

  On the Complexity of Intersection Non-Emptiness Problems

Doctoral Dissertation, Abstract

  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)

Completed Papers:

  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.

Paused Papers:

  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, lanching beta testing for user feedback, and mediation for resolving people problems.

Are you interested in having me as your mentor for a professional, entrepreneurial, or personal software project? Anyone is welcome. Please sign-up here and see past projects that I've been a mentor for below.

  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 ( - 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 - 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.