Кадзуо Ивама (ученый-компьютерщик)
Кадзуо Ивама ( яп . Кадзуо Ивама , родился 1 января 1951 года) — японский учёный-компьютерщик , работающий в Киотском университете . [1] Темы его исследований включают стабильный брак , квантовые схемы , проблему булевой выполнимости и алгоритмы на графах .
Образование и карьера
[ редактировать ]Ивама получил степени бакалавра, магистра и доктора Киотского университета в 1973, 1975 и 1980 годах соответственно. Он преподавал в Киотском университете Сангё с 1978 по 1990 год, затем перешёл в Университет Кюсю . В 1997 году он вернулся в качестве профессора в Киотский университет. [1] В настоящее время работает профессором проекта. [1]
Академическая служба
[ редактировать ]Ивама стал президентом-основателем Азиатской ассоциации алгоритмов и вычислений в 2007 году. [1] Он был основателем и главным редактором журнала «Алгоритмы» в 2008 году. [2] С 2013 года является главным редактором Бюллетеня Европейской ассоциации теоретической информатики . [1] [3]
Награды и почести
[ редактировать ]Ивама получил степень почетного доктора Латвийского университета в 2008 году. [1] и был избран в Европейскую академию в 2012 году. [1] [4]
Избранные публикации
[ редактировать ]- Асахиро, Юичи; Ивама, Кадзуо; Дитя, Хисао; Токьяма, Такеши (2000), «Жадный поиск плотного подграфа», Journal of Algorithms , 34 (2): 203–221, doi : 10.1006/jagm.1999.1062 , MR 1734799 .
- Ивама, Кадзуо; Камбаяси, Яхико; Ямашита, Сигэру (2002), «Правила преобразования для проектирования квантовых схем на основе CNOT», Труды 39-й ежегодной конференции по автоматизации проектирования (DAC '02) , Нью-Йорк, Нью-Йорк, США: ACM, стр. 419–424, doi : 10.1145/513918.514026 , ISBN 1-58113-461-4 , S2CID 1064293 .
- Мэнлав, Дэвид Ф.; Ирвинг, Роберт В.; Ивама, Кадзуо; Миядзаки, Шуичи; Морита, Ясуфуми (2002), «Жесткие варианты стабильного брака» (PDF) , Theoretical Computer Science , 276 (1–2): 261–279, doi : 10.1016/S0304-3975(01)00206-7 , MR 1896356 , S2CID 2964971 .
- Ивама, Кадзуо; Тамаки, Сугуру (2004), «Улучшенные верхние границы для 3-SAT», Труды пятнадцатого ежегодного симпозиума ACM-SIAM по дискретным алгоритмам , ACM, Нью-Йорк, стр. 328–329, MR 2291068 .
Ссылки
[ редактировать ]- ^ Jump up to: а б с д и ж г Биографическая справка , получено 8 июля 2016 г.
- ^ Ивама, Кадзуо (2008), «Предисловие редактора», Алгоритмы , 1 (1): 1, doi : 10.3390/a1010001 .
- ^ бюллетеня EATCS Домашняя страница , получено 8 июля 2016 г.
- ↑ Профиль члена Academia Europaea , получено 8 июля 2016 г.
Внешние ссылки
[ редактировать ]| Международный | |
|---|---|
| Национальный | |
| академики | |
