>>26
ノイマン型コンピュータに関することだけで
> 情報科学の数学的理論面を固めた
> プログラミングの数学的側面を固めた
とかいうのは過大、あるいはズレてる。
それ以外に何かやったなら
具体的にどういうことをやったのか聞いた。