She programmed the Aberdeen Proving Ground's ENIAC to solve criticality problems for a liquid metal cooled reactor using the Monte Carlo method.
Го програмирала ЕНИИКна Абердин полигонот да ги реши критичните проблеми за течен метал оладен реактор користејќи го Монте Карло методот.  Главна статија: „Слоест модел на јадрото“.