Кадзуо Ивама (специалист по информатике) - Kazuo Iwama (computer scientist)

Кадзуо Ивама ( яп . 岩 間 一 雄 , родился 1 января 1951 г.) - японский ученый-компьютерщик , работающий в Киотском университете . Темы его исследований включают стабильный брак , квантовые схемы , проблему логической выполнимости и алгоритмы на графах .

Образование и карьера

Ивама получил степени бакалавра, магистра и доктора в Киотском университете в 1973, 1975 и 1980 годах соответственно. Он преподавал в университете Киото Сангё с 1978 по 1990 год, когда перешел в университет Кюсю . В 1997 году вернулся профессором Киотского университета.

Академическая служба

Ивама стал президентом-основателем Азиатской ассоциации алгоритмов и вычислений в 2007 году. Он был главным редактором-основателем журнала Algorithms в 2008 году. С 2013 года он был главным редактором Бюллетеня Европейской ассоциации. для теоретической информатики .

Награды и отличия

Ивама получил почетную докторскую степень Латвийского университета в 2008 году и был избран в Academia Europaea в 2012 году.

Избранные публикации

  • Асахиро, Юичи; Ивама, Кадзуо; Тамаки, Хисао; Токуяма, Такеши (2000), "Жадно найти плотную подграф", журнал алгоритмов , 34 (2): 203-221, DOI : 10,1006 / jagm.1999.1062 , МР   1734799 .
  • Ивама, Кадзуо; Камбаяси, Яхико; Ямасита, Сигеру (2002), «Правила преобразования для проектирования квантовых схем на основе CNOT», Труды 39-й ежегодной конференции по автоматизации проектирования (DAC '02) , Нью-Йорк, Нью-Йорк, США: ACM, стр. 419–424, doi : 10.1145 / 513918.514026 , ISBN   1-58113-461-4 , S2CID   1064293 .
  • Manlove, Дэвид Ф .; Ирвинг, Роберт В .; Ивама, Кадзуо; Миядзаки, Шуичи; Морита, Yasufumi (2002), "Hard варианты стабильного брака" (PDF) , теоретическая информатика , 276 (1-2): 261-279, DOI : 10.1016 / S0304-3975 (01) 00206-7 , MR   1896356 .
  • Ивама, Кадзуо; Тамаки, Сугуру (2004), «Улучшенные верхние границы для 3-SAT», Труды пятнадцатого ежегодного симпозиума ACM-SIAM по дискретным алгоритмам , ACM, Нью-Йорк, стр. 328–329, MR   2291068 .

использованная литература

внешние ссылки