Wyższa Szkoła Informatyki Stosowanej i Zarządzania – w latach 1998–2006
Światową sławę zyskał po sformułowaniu w 1982 nowej teorii (stanowiącej uzupełnienie do teorii mnogości), którą nazwał teorią zbiorów przybliżonych (ang. rough set theory). Na tematy związane z tą teorią odbyło się wiele międzynarodowych konferencji, opublikowano kilka tysięcy artykułów naukowych i kilkadziesiąt książek. Jest też znany w związku ze swoją następującą działalnością: Zbudował pierwszy komputer GAM-1 (Grupy Aparatów Matematycznych) – w 1950 Opracował nową metodę generowania liczb przypadkowych – w 1953 opublikował wyniki tych badań za granicą, była to pierwsza polska publikacja naukowa w dziedzinie informatyki. Zaproponował nową metodę przedstawiania liczb w systemie pozycyjnym z ujemną podstawą (tzw. system arytmetyki minus dwójkowej ozn. „-2”). W latach pięćdziesiątych (na Politechnice Warszawskiej) skonstruowano pierwszą maszynę cyfrową UMC 1 funkcjonującą zgodnie z tą metodą. ZE ELWRO we Wrocławiu wyprodukowała kilkadziesiąt maszyn cyfrowych UMC 1. Zaproponował nową klasę języków beznawiasowych stanowiących uogólnienie teorii znanej jako beznawiasowa notacja polska Jana Łukasiewicza. Przedstawił nowy model formalny maszyny liczącej nazwany od jego nazwiska „maszyną Pawlaka”.