Zauważ, że formuła ta nie jest prawdziwa w dziedzinie liczb rzeczywistych, w dziedzinie odcinków na płaszczyźnie z odejmowaniem odcinków i porównywaniem ich długości, ani w dziedzinie liczb zespolonych. udowodnił, że zbiór własności algorytmicznych prawdziwych w dziedzinie liczb rzeczywistych to formuły dające się wyprowadzić ze schematu aksjomatów liczb formalnie rzeczywistych []. Jest współautorem pierwszej monografii na temat logiki algorytmicznej [].

W zakresie złożoności obliczeniowej zmodyfikował algorytm Strassena mnożenia macierzy uzyskując znaczne zmniejszenie zapotrzebowania na dodatkowe komórki pamięci roboczej [] z na (Jak zazwyczaj, przyjmuje się, że mówimy o mnożeniu macierzy o rozmiarach ).

po raz pierwszy w Polsce poprowadził wykład ze złożoności obliczeniowejW r. 1974 w Instytucie Informatyki UW.,

był współautorem polskiego tłumaczenia ważnej dla pokoleń informatyków książki Projektowanie i analiza programów komputerowych autorstwa A. Aho, J. Hopcrofta i J.