In vielen technischen und naturwissenschaftlichen Anwendungen entstehen Fehler, weil Programme Zahlen ohne Berücksichtigung ihrer physikalischen Einheit verarbeiten: Inkompatible Einheiten werden addiert oder Formeln fehlerhaft implementiert. In größeren Modellen können so leicht fatale Fehler entstehen, die in gängigen Programmiersprachen meist erst zur Laufzeit oder gar nicht bemerkt werden.
Das Projekt entwickelt „Numerobis", eine neue Programmiersprache, die physikalische Einheiten und Dimensionen als integralen Bestandteil des Typsystems behandelt. Fehlerhafte Formeln und dimensionsinkompatible Berechnungen werden bereits vor der Ausführung erkannt. Zudem erfolgen beliebige Einheitenumwandlungen automatisch – der Programmierer muss sich nicht mehr um manuelle Konversionen kümmern. Damit wird eine ganze Klasse von wissenschaftlichen und technischen Programmierfehlern verhindert.