His lectures and clinical vignettes were indicative of the fact that he carefully scrutinized and systematized all the research data he was working with.
He contributed to the development of the rigorous analysis of the computational complexity of algorithms and systematized formal mathematical techniques for it.