add Microsoft Research formula project