I checked and it looks like Mike Tigas is a Tor Project core member, he is listed here as author of iOS Onion Browser: https://www.torproject.org/about/people/#

I checked and it looks like Mike Tigas is a Tor Project core member, he is listed here as author of iOS Onion Browser: https://www.torproject.org/about/people/#core https://www.torproject.org/about/people/#core