I helped develop a type system and associated simulation software to simulate factory layouts at ProDex Labs.