研究者
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 助手
1998 - 2000 Research Associate,JAIST
1995 - 1998 筑波大学 助手
1995 - 1998 Research Associate,University of Tsukuba
全件表示
所属学会 (6件):
情報処理学会
, ソフトウエア科学会
, ACM
, IJSP
, JSSST
, ACM
※ J-GLOBALの研究者情報は、
researchmap
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM