経歴

 

　　　　　ささお　つとむ
氏名　　　笹尾　　勤

１９７２年　　　　　　　大阪大学工学部電子工学科卒業
１９７７年　　　　　　　大阪大学大学院工学研究科博士課程修了（工学博士）
１９７７年　　　　　　　大阪大学工学部助手
１９８２年ー８３年　　　米国IBM社ワトソン研究所客員研究員
１９８８年　　　　　　　九州工業大学・情報工学部・電子情報工学科助教授
１９９０年　　　　　　　米国海軍大学院大学　客員教授
１９９３年ー現在　　　　九州工業大学・情報工学部・電子情報工学科教授
２０００年ー０４年　　　九州工業大学マイクロ化総合技術センター長

研究分野：　論理設計，スイッチング理論，論理回路の複雑度解析，
　　　　　　多値論理の応用，ＰＬＡ設計，多段論理合成
主要著書
  室賀，笹尾（共訳），”論理設計とスイッチング理論：ＬＳＩ，ＶＬＳＩの
　設計基礎”，共立出版，（１９８１−０７）．
　向殿，笹尾，”スイッチング理論演習，”朝倉書店，（１９８４−０５）．
　笹尾，”ＰＬＡの作り方使い方，”日刊工業新聞社，（１９８６−０５）．
　笹尾,”論理設計：スイッチング回路理論、”近代科学社（１９９５ー０１）
  T. Sasao (ed.)  "Logic Synthesis and Optimization," 
  Kluwer Academic Publishers 1993.
  T. Sasao and M. Fujita (ed.)"Representation of Discrete Functions,"
  Kluwer Academic Publishers 1996.
  T. Sasao,"Switching Theory for Logic Synthesis," 
  Kluwer Academic Publishers 1999.
  S. Hassoun and T. Sasao,"Logic Synthesis and Verification," 
  Kluwer Academic Publishers 2002.
  T. Sasao and J. T. Butler, "Progress in Applications of Boolean Functions,"
  Morgan & Claypool Publishers, Jan. 2010. pp.1-153.
  T. Sasao, "Memory-Based Logic Synthesis," Springer, March 2011.

受賞関係
　１９７９年　丹羽記念賞
　１９８７年  Distinguished Contribution Award, IEEE Computer Society, MVL-TC (ISMVL-1986)
  １９９４年  IEEE Fellow
  １９９６年  Distinctive Contributed Paper Award, IEEE Computer Society　(ISMVL-1995)
  ２００１年  武田研究奨励賞・最優秀研究賞
　２００４年  Distinctive Contributed Paper Award, IEEE Computer Society　（ISMVL-2003)
　２００５年  Distinctive Contributed Paper Award, IEEE Computer Society   (ISMVL-2004)
  ２０１０年　1st Place, Design Contest, 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE-2010), 
  ２０１０年　Outstanding Paper Award (SASIMI 2010)
  ２０１１年　Outstanding Paper Award, IPSJ Transactions on System LSI Design Methodology