Nodein is a company that develops verifiable and certifiable aircraft autonomy algorithms. It specializes in flight control, dynamics, motion planning, probabilistic estimation, compilers, and formal methods.