Ostrohradskõi sündis 24. septembril 1801. aastal Pašenivka külas (tol ajal Poltava kubermangusVenemaa Keisririigis, praegu UkrainasPoltava oblastis Krementšuki rajoonis). Aastatel 1816–1820 õppis ta Timofei Ossipovski (1765–1832) käe all ja lõpetas Harkivi keiserliku ülikooli. Kui Ossipovski 1820. aastal usulistel põhjustel töölt kõrvaldati, keeldus Ostrohradskõi eksamineerimisest ja ta ei saanud kunagi doktorikraadi. Aastatel 1822–1826 õppis ta Sorbonne’is ja Prantsusmaal Pariisis Collège de France’is. Aastal 1828 naasis ta Venemaa Keisririiki ja asus elama Peterburisse, kus ta valiti Teaduste Akadeemia liikmeks. Temast sai ka Venemaa Keisririigi peamise sõjatehnika kooli professor.
Ostrohradskõi suri Poltavas 1862. aastal 60-aastasena. Tema järgi on nimetatud nii Mõhhailo Vassõljovõtš Ostrohradskõi rahvusülikool Poltava oblastisKrementšukis kui ka Ostrohradskõi tänav Poltavas.
Venemaa Keisririigis jätkasid tema tööd neil aladel Nikolai Dmitrijevitš Brašman (1796–1866), August Juljevitš Davidov (1823–1885) ja eriti Nikolai Žukovski (1847–1921).
1826. aastal andis Ostrohradskõi esimese üldise tõestuse lahknemisteoreemile, mille Lagrange avastas 1762. aastal.[7] Seda teoreemi saab väljendada Ostrohradskõi võrrandi abil:
;
kus P, Q ja R on x, y ja z diferentseeruvad funktsioonid, mis on defineeritud kompaktsel alal V, mis on piiratud sileda suletud pinnaga Σ; λ, μ ja ν on nurgad, mille Σ välisnormaal teeb vastavalt positiivsete x-, y- ja z-telgedega; ja dΣ on Σ pindala element.
Tema meetod ratsionaalfunktsiooni integreerimiseks[8] on hästi tuntud. Esiteks eraldame murdarvulise ratsionaalfunktsiooni integraali ratsionaalse osa, ratsionaalse osa summa (algebraline murd) ja transtsendentaalse osa (koos logaritmi ja arkusfunktsiooniga). Teiseks määrame ratsionaalse osa ilma seda integreerimata ja omistame antud integraali Ostrohradskõi kujul:
Kolmandaks, on ja suurim ühisjagaja. Neljandaks saab ülejäänud integraali nimetaja arvutada võrrandist .
Kui eristame ülaltoodud võrrandi mõlemad pooled, saame kus Võib näidata, et on polünoom.
Ostrohradskõi, M. (1845a), "De l'intégration des fractions rationnelles", Bulletin de la classe physico-mathématique de l'Académie Impériale des Sciences de Saint-Pétersbourg, 4: 145–167.
Ostrohradskõi, M. (1845b), "De l'intégration des fractions rationnelles (fin)", Bulletin de la classe physico-mathématique de l'Académie Impériale des Sciences de Saint-Pétersbourg, 4: 286–300.
Woodard, R.P. (9. august 2015). "The Theorem of Ostrogradsky". arXiv:1506.02210 [hep-th].