VESTERGAARD, Rene （レネ　フェスタガード）　准教授
シミュレーション科学研究センター

■学位

B.Sc., M.Sc. (University of Aarhus, DK; '94, '97), PhD (Heriot-Watt University, UK; '03)

■職歴

Assistant Professor, JAIST ('01-'04); Research Associate, Institut de Mathematiques de Luminy, CNRS, FR ('00-'01); Visiting Academic, LFCS, University of Edinburgh, UK ('99-'00, 18 months); Visiting Academic, Mathematisches Institut, University of Munich, DE ('98, 2 months); Research Assistant, Brandeis University, USA ('96-'97).

■専門分野

Formal reasoning

■研究課題

Formal scientific reasoning
systems formation, game theory, causation, sustained equilibria, gene regulation
Reasoning about languages with binding
induction, adequacy

■研究業績

◇発表論文

Formalizing Adequacy: A Case Study for Higher-order Abstract Syntax，James Cheney, Michael Norrish, Rene Vestergaard，Journal of Automated Reasoning, Springer，Online First，Online First，2011/03/02
Formalizing adequacy，James Cheney, Rene Vestergaard, Michael Norrish，Proceedings of TAASN'09
NbSE: Normalisation by Stack-based Evaluation，Rene Vestergaard，Proceedings of NBE'09, LICS'09

全件表示

◇講演発表

Formal gene-regulation reasoning, 3 x 90mins，Rene Vestergaard，Mini course atPilot Plant Development and Training Institute,King Mongkut's University of Technology Thonburi83 M.8 Thakham Bangkhuntein Bangkok 10150，Thailand，August 29 -- September 5, 2009

■担当講義

相互作用と調節の推論

■学外活動

◇国際会議主催状況

Binding Challenges，Prof Rene Vestergaard, JAIST; Dr Randy Pollack, LFCS, University of Edinburgh，April 24, 25，JAIST, participation by invitation

◇その他の国際・国内貢献等

International Conference on Functional Programming，Program Committee，2011/09/19 - 2011/09/21
International Conference on Computational Systems-Biology and Bioinformatics，International Advisory Board，2010/11/03 - 2010/11/05

■賞等

Qualification as University Professor (Habilitation in equiv)，Ministry of Education, France
Invited Researcher，NICTA, Australia
Invited Professor，Ecole Normale Superieure, Lyon, France

VESTERGAARD, Rene （レネ フェスタガード） 准教授 シミュレーション科学研究センター

■学位

■職歴