Ex-Galois Employee Launches Oath Tech to Focus on Formal Methods for AI Oversight

JacquesThibs · x · 2026-08-27

Mike (formerly of @galois) announced leaving to start Oath Technologies (@oathtech), a new Frontier Research Organization (FRO). The company will focus on AI oversight via formal methods.

Original post →

More from Companies & People

Companies & People channel →