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

Projects

Active Projects

Omega

Omega is a library for Causal, Higher-Order, Probabilistic Programming

Parametric Inversion

Parametric Inversion is a library for parametric inversion of programs

Causal Discovery

CausalDiscovery.jl is a library for causal discovery of reactive programs

Software Tools

Spec

Spec.jl is simple library for writing specifications of code

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.

RayTrace

RayTrace.jl is a simple raytracer in Julia

Ports and Wrappers

TensorBoard.jl

TensorBoard.jl is a Julia interface to the TensorBoard

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.

Deprecated Projects

Sigma

Sigma.jl is a probabilistic programming environment based in Julia. The functionality of Sigma is being transferred to Omega and Arrows