Seinosuke Toda

Seinosuke Toda ( 戸田 誠之助 , Toda Seinosuke , född 15 januari 1959) är en datavetare som arbetar vid Nihon-universitetet i Tokyo . Toda tog sin Ph.D. från Tokyo Institute of Technology 1992, under ledning av Kojiro Kobayashi. Han fick 1998 års Gödelpris för att bevisa Todas teorem i beräkningskomplexitetsteori, som säger att varje problem i polynomhierarkin har en polynom-tid Turing-reduktion till ett räkneproblem .