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:

News:

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, CV
goldstein [AT] nyu [DOT] edu