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%)

automatic-control control-systems cyber-physical-systems differential-equations dynamical-systems flowpipe formal-verification hybrid-systems interval-arithmetic julia numerical-analysis ode reachability-analysis rigorous-numerics set-propagation simulations verification

application-analytics code-analysis exploit-prediction intermediate-representation reachability-analysis supply-chain variant-analysis vulnerability-analysis