Rchr
J-GLOBAL ID：200901096788633705   Update date: Feb. 09, 2009

Vestergaard Rene

レネ フェスタガード | Vestergaard Rene
Affiliation and department：
Japan Advanced Institute of Science and Technology School of Information Science, Department of Information Science

About Japan Advanced Institute of Science and Technology School of Information Science, Department of Information Science


Homepage URL  (1)： http://www.jaist.ac.jp/~kkgi/thisyear/soj/00297soj.html
Research keywords  (4)： mechanised reasoning ,  systems biology ,  game theory ,  Programming-language theory
Research theme for competitive and other funds  (1)：
  • Programming-language theory, game theory, systems biology, mechanised reasoning
Education (2)：
  • - 1997 University of Aarhus
  • - 1994 University of Aarhus
Professional career (2)：
  • M.Sc (University of Aarhus(デンマーク王国))
  • Ph.D (Hariot-Watt University(連合王国))
※ 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