Formal Research Statement