Kazuo Iwama ( japonés :岩 間 一 雄, nacido el 1 de enero de 1951) es un informático japonés que trabaja en la Universidad de Kyoto . [1] Los temas de su investigación incluyen matrimonio estable , circuitos cuánticos , el problema de satisfacibilidad booleano y algoritmos en gráficos .
Educación y carrera
Iwama obtuvo una licenciatura, una maestría y un doctorado de la Universidad de Kyoto en 1973, 1975 y 1980 respectivamente. Enseñó en la Universidad Sangyo de Kyoto de 1978 a 1990, cuando se trasladó a la Universidad de Kyushu . En 1997 regresó como profesor a la Universidad de Kyoto. [1]
Servicio académico
Iwama se convirtió en el presidente fundador de la Asociación Asiática de Algoritmos y Computación en 2007. [1] Fue el editor en jefe fundador de la revista Algorithms , en 2008. [2] Desde 2013 ha sido editor en jefe de el Boletín de la Asociación Europea de Ciencias de la Computación Teórica . [1] [3]
Premios y honores
Iwama recibió un doctorado honorario de la Universidad de Letonia en 2008, [1] y fue elegido miembro de la Academia Europaea en 2012. [1] [4]
Publicaciones Seleccionadas
- Asahiro, Yuichi; Iwama, Kazuo; Tamaki, Hisao; Tokuyama, Takeshi (2000), "Buscando codiciosamente un subgrafo denso", Journal of Algorithms , 34 (2): 203-221, doi : 10.1006 / jagm.1999.1062 , MR 1734799.
- Iwama, Kazuo; Kambayashi, Yahiko; Yamashita, Shigeru (2002), "Reglas de transformación para el diseño de circuitos cuánticos basados en CNOT", Actas de la 39a Conferencia Anual de Automatización del Diseño (DAC '02) , Nueva York, NY, EE. UU .: ACM, págs. 419–424, doi : 10.1145 / 513918.514026 , ISBN 1-58113-461-4, S2CID 1064293.
- Manlove, David F .; Irving, Robert W .; Iwama, Kazuo; Miyazaki, Shuichi; Morita, Yasufumi (2002), "Variantes duras del matrimonio estable" (PDF) , Informática teórica , 276 (1–2): 261–279, doi : 10.1016 / S0304-3975 (01) 00206-7 , MR 1896356.
- Iwama, Kazuo; Tamaki, Suguru (2004), "Límites superiores mejorados para 3-SAT", Actas del decimoquinto simposio anual ACM-SIAM sobre algoritmos discretos , ACM, Nueva York, págs. 328–329, MR 2291068.
Referencias
- ^ a b c d e f Curriculum vitae , consultado el 8 de julio de 2016.
- ^ Iwama, Kazuo (2008), "Prólogo del editor", Algoritmos , 1 (1): 1, doi : 10.3390 / a1010001.
- ^ Página de inicio del Boletín de EATCS , consultado el 8 de julio de 2016.
- ^ Perfil de miembro de Academia Europaea , consultado el 8 de julio de 2016.
enlaces externos
- Página de inicio