Кадзуо Ивама (ученый-компьютерщик) - Kazuo Iwama (computer scientist)

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

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

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

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

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

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

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

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

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

Рекомендации

  1. ^ а б c d е ж Биография Резюме, получено 8 июля 2016.
  2. ^ Ивама, Кадзуо (2008), «Предисловие редактора», Алгоритмы, 1 (1): 1, Дои:10.3390 / a1010001.
  3. ^ Бюллетень EATCS домашняя страница, получено 8 июля 2016.
  4. ^ Профиль участника Academia Europaea, получено 8 июля 2016.

внешняя ссылка