戸田誠之助

戸田 誠之助（とだ せいのすけ、1959年1月15日 - ）は、日本の情報工学者。日本大学文理学部情報科学科教授（2016年4月現在）。多項式階層と複雑性クラス#Pの関係 (\"PP is as hard as the polynomial-time hierarchy,\" SIAM J. Computing 20 (1991), 865-877.) に関する研究で、極東初の1998年ゲーデル賞を受賞。