Inst. for Operations Research and Mgmt Sciences developer