Services
Programming School
IID.systems operates a programming school.
System Development
Formal Methods
Research and implementation support for AI-era software development using mathematically precise specifications and verification.
AI Alignment
Position papers and conceptual research on pluralistic alignment, value orders, and the risks hidden in the phrase "human values."
