z Instytutem Matematycznym PAN, z którym był związany od roku 1956 najpierw jako asystent, potem adiunkt, a w latach 1995–2006 jako profesor zwyczajny.
Wyniki podanie związku pomiędzy istnieniem i jednoznacznością rozwiązań (jednoznaczność implikuje istnienie) dla nieliniowych równań różniczkowych zwyczajnych, cząstkowych i całkowych; sformułowanie twierdzenia o funkcjach uwikłanych dla funkcji nieróżniczkowalnych oraz podanie zastosowań tego twierdzenia w dowodach istnienia rozwiązań problemów brzegowych i rozwiązań okresowych równań różniczkowych zwyczajnych; wykazanie, że w przestrzeniach Banacha istnienie rozwiązań równań różniczkowych o prawej stronie ciągłej jest własnością generyczną (współautor: James A. Yorke); rozwiązanie problemu Ulama dotyczącego istnienia miary niezmienniczej dla transformacji kawałkami monotonicznych; uzyskanie w teorii operatorów nieliniowych odpowiednika alternatywy Fredholma; podanie oryginalnej metody funkcji dolnej w teorii operatorów Markowa, która jest mocnym narzędziem badania asymptotycznej stabilności operatorów Markowa; zbadanie asymptotycznej stabilności operatorów Markowa działających na miarach i opisanie nowej klasy zbiorów, które nazwał semifraktalami;