Kazuo Iwama (científico informático) - Kazuo Iwama (computer scientist)
Kazuo Iwama ( japonés : 岩 間 一 雄 , nacido el 1 de enero de 1951) es un informático japonés que trabaja en la Universidad de Kyoto . 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 Kyoto Sangyo de 1978 a 1990, cuando se trasladó a la Universidad de Kyushu . En 1997 regresó como profesor a la Universidad de Kyoto.
Servicio académico
Iwama se convirtió en el presidente fundador de la Asociación Asiática de Algoritmos y Computación en 2007. Fue el editor en jefe fundador de la revista Algorithms , en 2008. Desde 2013 es editor en jefe del Boletín de la Asociación Europea para Ciencias de la Computación Teóricas .
Premios y honores
Iwama recibió un doctorado honorario de la Universidad de Letonia en 2008 y fue elegido miembro de la Academia Europaea en 2012.
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) , Ciencias de la computación teóricas , 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 .