Interested in logic, computation, and executable models.