Zenna Tavares bio photo

Zenna Tavares

I'm an researcher at Columbia University, formerly at MIT. I think about how to build computer programs that think as humans think. You can contact me on zt2297[at]columbia[dot]edu

Email Twitter Github

Work with me

If you’re interesting in collaborating on research projects, please reach out. Also, I’m hiring:

Research Software Engineer

We’re looking for a research software engineer eager to work in an academic environment at the cutting edge of probabilistic programming, causal inference, program synthesis and machine learning.


You will play an integral part in developing systems for automatic causal and probabilistic inference. Our goal is to build systems that can reason coherently about the real world, in all of its complexity and ambiguity. These systems should allow people to (semi-automatically) build sophisticated models of the world, determine causal effects, design experiments, and construct explanations. An immediate application is in algorithmic fairness.

Relevant areas:

  • Probabilistic programming
  • Causal inference - Machine learning
  • Program synthesis
  • Program analysis
  • Automated theorem proving You’ll work with me and the DSI community.


  • Programming language design/implementation
  • Performance engineering, scaling research code
  • Algorithm development
  • Application to real-world problems

Preferred Qualifications:

  • Strong coding ability. esp. Julia, Python, C++, ML-family
  • Comfortable digesting research e.g. from PLDI, POPL, NeurIPS or ICML
  • Good software engineering practices
  • Able to progress with high degree of autonomy, and under uncertainty

To apply, please write to zt2297@columbia.edu