Courant Institute of Mathematical Sciences
I am curious about how elements of randomness like entropy
and unobserved processes can shape our understanding of phenomena
in and around us. If we believe that such processes exist in the
natural world (for example in health, environment, art), then we need to come up
with good ways to infer their unobservables.
For this reason I work on methodology in approximate bayesian inference.
I am also inspired by formal methods in computation and how we can define
what it means to prove that a given model of a process (e.g. simulated heart,
satisfies a set of desired rules,
specified in a given system (for example linear temporal logic). Or to rule out
that any such process exists (model theory). This can help us think carefully
about what we want from computation and if we can cooperate with it safely
I am lucky to be advised by:
Previously, I was a research assistant and teaching fellow in the computer science department at Harvard SEAS
Between Harvard and NYU, I worked with the CoCoSci
group at MIT BCS
Previous to that, I studied music composition, improvisation, and theory at New England Conservatory with Anthony Coleman
, and Ran Blake
. I am still involved with music and rehearse with
Gamelan Kusuma Laras
, a classical Javanese ensemble that performs the repetoire of the courts of Central Java.
goldstein [AT] nyu [DOT] edu