Mark Goldstein

Courant Institute of Mathematical Sciences

pronouns: he/him/his

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,
autonomous spacecraft)
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
and positively.

I am lucky to be advised by:

I am lucky to be advised by:

- Rajesh Ranganath (in the CILVR group)
- Thomas Wies (in the ACSys group)

News:

goldstein [AT] nyu [DOT] edu

- Summer 2019: I'm working in Emtiyaz Khan's Approximate Bayesian Inference group at RIKEN AIP in Tokyo!

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,
Stratis Minakakis, 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.

github: marikgoldstein, CVgoldstein [AT] nyu [DOT] edu