研究者
J-GLOBAL ID：200901096788633705   更新日: 2009年02月09日

Rene Vestergaard

レネ フェスタガード | Vestergaard Rene
所属機関・部署：
北陸先端科学技術大学院大学 情報科学研究科 情報科学専攻

北陸先端科学技術大学院大学 情報科学研究科 情報科学専攻 について


職名： 助教授
ホームページURL (1件)： http://www.jaist.ac.jp/~kkgi/thisyear/soj/00297soj.html
研究キーワード (4件)： mechanised reasoning ,  systems biology ,  game theory ,  Programming-language theory
競争的資金等の研究課題 (1件)：
  • Programming-language theory, game theory, systems biology, mechanised reasoning
学歴 (2件)：
  • - 1997 University of Aarhus
  • - 1994 University of Aarhus
学位 (2件)：
  • M.Sc (University of Aarhus(デンマーク王国))
  • Ph.D (Hariot-Watt University(連合王国))
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM