તેઓએ કોમ્પ્યુટર પ્રોગ્રામ લખ્યાં છે જે ગીરો-સમર્થિત સલામતીની કિંમત નક્કી કરે છે.