Code Metal

Code Metal is a Boston-based AI startup building a verifiable code translation platform for mission-critical industries - aerospace, defense, automotive, semiconductors and robotics. Founded in 2023 by AI researchers Peter Morales and Alex Showalter-Bucher, the company combines large language models with formal verification so engineers can write software once and ship it - safely - to any chip.