Kazuo Iwama (informaticien) - Kazuo Iwama (computer scientist)
Kazuo Iwama ( japonais : 岩 間 一 雄 , né le 1er janvier 1951) est un informaticien japonais qui travaille à l'Université de Kyoto . Les sujets de sa recherche incluent le mariage stable , les circuits quantiques , le problème de satisfiabilité booléenne et les algorithmes sur les graphes .
Éducation et carrière
Iwama a obtenu un baccalauréat, une maîtrise et un doctorat de l'Université de Kyoto en 1973, 1975 et 1980 respectivement. Il a enseigné à l'Université de Kyoto Sangyo de 1978 à 1990, date à laquelle il a rejoint l'Université de Kyushu . En 1997, il est revenu en tant que professeur à l'Université de Kyoto.
Service académique
Iwama est devenu le président fondateur de l'Association asiatique pour les algorithmes et le calcul en 2007. Il était le rédacteur en chef fondateur de la revue Algorithms , en 2008. Depuis 2013, il est rédacteur en chef du Bulletin de l'Association européenne pour l'informatique théorique .
Récompenses et honneurs
Iwama a reçu un doctorat honorifique de l' Université de Lettonie en 2008 et a été élu à l' Academia Europaea en 2012.
Sélection de publications
- Asahiro, Yuichi; Iwama, Kazuo; Tamaki, Hisao; Tokuyama, Takeshi (2000), "Trouver un sous-graphe dense avec avidité", Journal of Algorithms , 34 (2): 203-221, doi : 10.1006 / jagm.1999.1062 , MR 1734799 .
- Iwama, Kazuo; Kambayashi, Yahiko; Yamashita, Shigeru (2002), "Règles de transformation pour la conception de circuits quantiques basés sur CNOT", Actes de la 39th Annual Design Automation Conference (DAC '02) , New York, NY, USA: ACM, pp. 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 difficiles du mariage stable» (PDF) , Theoretical Computer Science , 276 (1–2): 261–279, doi : 10.1016 / S0304-3975 (01) 00206-7 , MR 1896356 .
- Iwama, Kazuo; Tamaki, Suguru (2004), "Improved upper bounds for 3-SAT", Actes du quinzième symposium annuel ACM-SIAM sur les algorithmes discrets , ACM, New York, pp. 328–329, MR 2291068 .