研究者
J-GLOBAL ID:200901097684394560   更新日: 2002年12月19日

鈴木 大郎

スズキ タロウ | Suzuki Taro
所属機関・部署:
職名: 講師
ホームページURL (1件): http://www.u-aizu.ac.jp/~taro
研究分野 (1件): 情報学基礎論
研究キーワード (2件): プログラミング言語の基礎理論 ,  Foundation of Programming Languages
競争的資金等の研究課題 (2件):
  • 2001 - 2003 プロセス計算系の定式化に関する研究
  • 2001 - 2003 Formalisation of Process Calculi
学歴 (4件):
  • - 1995 筑波大学 工学研究科 電子情報工学
  • - 1995 筑波大学
  • - 1987 東京理科大学
  • 東京理科大学 理学部 物理学科
学位 (1件):
  • 博士(理学) (東京大学)
経歴 (8件):
  • 2001 - 2002 会津大学 講師
  • 2001 - 2002 Assistant professor,University of Aizu
  • 2000 - 2001 東北大学 助手
  • 2000 - 2001 Research Associate,Tohoku University
  • 1998 - 2000 JAIST 助手
全件表示
所属学会 (6件):
情報処理学会 ,  ソフトウエア科学会 ,  ACM ,  IJSP ,  JSSST ,  ACM
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る