Zenna Tavares bio photo

Zenna Tavares

I'm a Ph.D candidate at MIT. I think about how to build computer programs that think as humans think. You can contact me on zenna[at]mit[dot]edu

Email Github

Who Am I

I am a Ph.D candidate in the both the department of Brain and Cognitive Sciences and the Computer Science and Artificial Intelligence Lab at MIT. I work in the Computer Aided Programming Group under supervision of Armando Solar Lezama, and am associated with the Computational Cognitive Science group run by Joshua Tenenbaum.

I am from London. I have two big brothers: Kibwe who cofounded architecture/animation studio Factory Fifteen and musician/designer/artist Gaika.

What do I do

I work primarily at the intersection of (Bayesian) probabilistic modeling, deep-learning, and computaitonal logic. I like to design little programming languages that synthesize these ideas, such as Sigma.jl.

More recently I have been trying to connect the idea of probabilistic inference with synthesizing an inverse program. I have a tool which claims to do just that.

I am generally interested in how to represent knowledge about the world, in all its complexity and uncertainty, and how to efficiently derive conclusions and inferences from such knowledge.

What do I do (with less the mumbo jumbo)

It’s a strange mix, right? What connection could there be between computer programs and human thought? My research is based on the premise that there are parallels between the two on multiple levels, both analogical and fundamental. At the simplest level, researchers in cognitive science and artificial intelligence routinely use programming languages to model or simulate aspects of human cognition, without batting as much as an eyelid. The fact that this is possible is utterly surprising; I wouldn’t expect to be able to create thinking machines out of paper, or mud, a toaster, or even lego (or would I?).

This idea that thinking is like information processing, i.e., computation is called computationalism; and I ascribe to it fully. But taking it seriously forces us to address some hard questions, namely: what is computation, really? How does it relate to inference? How should we represent information, such that we can compute with it?