Rumpun Metode Formal dan Pemodelan Matematika (MFPM) adalah salah satu rumpun keilmuan di Program Studi S1 Sains Data, Fakultas Matematika dan Ilmu Pengetahuan Alam, Universitas Negeri Surabaya yang berfokus pada pengembangan model teoritis dan algoritma serta mengimplementasikannya dalam sistem dunia nyata. Tim peneliti rumpun ini antara lain:

1. Yuliani Puji Astuti, S.Si., M.Si. (Ketua rumpun)

2. Harmon Prayogi, M.Sc.

3. Yuni Rosita Dewi, M.Si.

4. Kartika Chandra Dewi, S.Si., M.Si.

Kompetensi yang dimiliki yaitu: Desain algoritma, teori optimasi, pemodelan matematika, komputasi matematika.

Software yang digunakan diantaranya Python, MATLAB, R, dan lain-lain.

Job roles: Cryptographer, Data Scientist (with focus on theory), Quantitative Analyst, Researcher, Algorithm Engineer