Кадзуо Ивама ( яп .岩 間 一 雄, родился 1 января 1951 г.) - японский ученый-компьютерщик , работающий в Киотском университете . [1] Темы его исследований включают стабильный брак , квантовые схемы , проблему логической выполнимости и алгоритмы на графах .
Образование и карьера
Ивама получил степени бакалавра, магистра и доктора в Киотском университете в 1973, 1975 и 1980 годах соответственно. Он преподавал в университете Киото Сангё с 1978 по 1990 год, когда перешел в университет Кюсю . В 1997 году вернулся профессором Киотского университета. [1]
Академическая служба
Ивама стал президентом-основателем Азиатской ассоциации алгоритмов и вычислений в 2007 году. [1] Он был главным редактором-основателем журнала Algorithms в 2008 году. [2] С 2013 года он был главным редактором журнала Бюллетень Европейской ассоциации по теоретической информатике . [1] [3]
Награды и почести
Ивама получил почетную докторскую степень Латвийского университета в 2008 году [1] и был избран в Academia Europaea в 2012 году [1] [4].
Избранные публикации
- Асахиро, Юичи; Ивама, Кадзуо; Тамаки, Хисао; Токуяма, Такеши (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.
Рекомендации
Внешние ссылки
- Домашняя страница