An MIT engineer and Python community leader who co-founded Ksplice and Zulip with the same team, she became Pilot's CTO to bring software automation to bookkeeping and finance.