Aviad Levis is a postdoctoral scholar in the Computing and Mathematical Sciences Department at the California Institute of Technology.