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

Projects

ReverseFlow

ReverseFlow is a python library for parametrically inverting a tensorflow program

Sigma

Sigma.jl is a probabilistic programming language implemented in Julia.

Software Tools

DReal.jl

DReal.jl is a Julia interface to the dreal nonlinear SMT solver.

Z3.jl

Z3.jl is a Julia interface to the Z3 theorem prover.

AbstractDomains

AbstractDomains.jl is a Julia package for abstract interpretation.

Lens

Lens.jl is a simple Julia package to dynamically inspect and extract values deep within your program, with minimal interference to the program itself.

Misc

mdlatex

mdlatex is a template to make it easier to write papers.