Rchr
J-GLOBAL ID：200901020870497457   Update date: Sep. 06, 2022

Shin'ya Nishizaki

ニシザキ シンヤ | Shin'ya Nishizaki
Affiliation and department：
Tokyo Institute of Technology Global Scientific Information and Computing Center, Information Infrastructure Division, 情報基盤活用分野

About Tokyo Institute of Technology Global Scientific Information and Computing Center, Information Infrastructure Division, 情報基盤活用分野


Job title： Professor
Homepage URL  (1)： http://www.lambda.cs.titech.ac.jp/
MISC (9)：
ｍore...
Books (6)：
  • この定理が美しい
    数学書房 2009 ISBN:4903342107
  • 理工系のためのコンピュータサイエンス
    サイエンス社 2008 ISBN:4781911846
  • 論理と計算のしくみ
    岩波書店 2007 ISBN:4000061917
  • 関数的環境計算の合流性,
    日本ソフトウェア科学会 第16回大会論文集 1999
  • Formalization of Graph Search Algorithm and Its Applications
    Lecture Notes in Computer Science 1998
ｍore...
Lectures and oral presentations  (35)：
  • Safely Checking in Equation Archive
    (2010)
  • Time Model of Computational System for DoS attack resistance of Protocols
    (2010)
  • 等式アーカイブにおける安全な検査
    (日本ソフトウェア科学会第22回大会 2010)
  • プロトコルのDoS攻撃耐性解析のための計算体系における時間モデル
    (日本ソフトウェア科学会第22回大会 2010)
  • Spice計算へのブロードキャスト通信の拡張
    (システム検証の科学技術シンポジウム(SSV 2008) 2008)
ｍore...
Education (3)：
  • - 1994 Kyoto University Graduate School, Division of Natural Science
  • - 1994 京都大学大学院 理学研究科 数理解析専攻
  • - 1989 Kyoto University Faculty of Science
Professional career (1)：
  • Doctor of Science
Work history (6)：
  • 1998 - -:
  • 1998 - -:東京工業大学 助教授
  • 1996 - -:
  • 1996 - -:千葉大学 助教授
  • 1994 - -:
Show all
Committee career (2)：
  • 1998 - 2001 情報処理学会プログラミング研究会 論文誌編集委員
  • 2000 - 日本ソフトウェア科学会 編集委員
Awards (2)：
  • 1995 - 日本ソフトウェア科学会高橋奨励賞
  • 1993 - 情報処理学会研究賞
Association Membership(s) (7)：
Association of Computing Machinary ,  European Association of Theoretical Computer Science ,  情報処理学会プログラミング研究会 ,  European Association of Theoretical Computer Science ,  Association of Computing Machinary ,  人工知能学会 ,  日本ソフトウェア科学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM