Lead Developer
CurrentLeader of Mathematica's synthetic geometry project:- Led weekly meetings with synthetic geometry team, coordinated with other teams, provided agendas and represented team for design meetings with CEO, gave presentations at internal and external conferences.- Used constrained optimization techniques to create geometric constraint solver RandomInstance[].