Varsha Dani RIT Program Visits Counting Complexity and Phase Transitions, Spring 2016, Visiting Scientist