Ph.D. student researching Decision Diagrams & Dynamic Programming, trying to solve Simple Stochastic Games, and working with NOPE on the side.