Kazuo Iwama (Informatiker) - Kazuo Iwama (computer scientist)
Kazuo Iwama ( japanisch : 岩 間 一 雄 , geboren am 1. Januar 1951) ist ein japanischer Informatiker, der an der Universität Kyoto arbeitet . Zu seinen Forschungsthemen gehören stabile Ehen , Quantenschaltungen , das Problem der Booleschen Erfüllbarkeit und Algorithmen in Graphen .
Ausbildung und Karriere
Iwama erwarb 1973, 1975 und 1980 einen Bachelor-, Master- und Doktorgrad an der Universität Kyoto. Er unterrichtete von 1978 bis 1990 an der Kyoto Sangyo University , als er an die Kyushu University wechselte . 1997 kehrte er als Professor an die Universität Kyoto zurück.
Akademischer Dienst
Iwama wurde 2007 Gründungspräsident der Asian Association for Algorithms and Computation. 2008 war er Gründungsredakteur der Zeitschrift Algorithms . Seit 2013 ist er Chefredakteur des Bulletins der European Association für Theoretische Informatik .
Auszeichnungen und Ehrungen
Iwama erhielt 2008 die Ehrendoktorwürde der Universität von Lettland und wurde 2012 in die Academia Europaea gewählt.
Ausgewählte Publikationen
- Asahiro, Yuichi; Iwama, Kazuo; Tamaki, Hisao; Tokuyama, Takeshi (2000), "Gierig einen dichten Untergraphen finden", Journal of Algorithms , 34 (2): 203–221, doi : 10.1006 / jagm.1999.1062 , MR 1734799 .
- Iwama, Kazuo; Kambayashi, Yahiko; Yamashita, Shigeru (2002), "Transformationsregeln für den Entwurf von CNOT-basierten Quantenschaltungen", Proceedings of the 39. Annual Design Automation Conference (DAC '02) , New York, NY, USA: ACM, S. 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), "Harte Varianten einer stabilen Ehe" (PDF) , Theoretical Computer Science , 276 (1–2): 261–279, doi : 10.1016 / S0304-3975 (01) 00206-7 , MR 1896356 .
- Iwama, Kazuo; Tamaki, Suguru (2004), "Verbesserte Obergrenzen für 3-SAT", Proceedings of the Fifteenth Annual ACM-SIAM Symposium on Discrete Algorithms , ACM, New York, S. 328–329, MR 2291068 .