calculus computational-geometry convex-hull convex-sets formal-verification geometry geometry-algorithms julia lazy-evaluation minkowski-sum polygons polyhedra projections reachability-analysis set-propagation sets zonotope

Engineering (40%)

agent-based-modeling brazil childrens climate-change complexity-science food-systems global-syndemic nutrition projections public-health simulations