People
The team
The people building formally verified autonomous control at DarcStar Technologies.
Michael Harris
Founder
Founder of DarcStar Technologies. Systems architect working across distributed systems, applied AI, and platform engineering — with a long habit of turning ambiguous, high-complexity problem spaces into designs a team can build on.