Rene Vestergaard Associate Professor
Research Center for Integrated Science

■Degrees

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

■Professional Career

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).

■Specialties

Formal reasoning

■Research Keywords

programming-language theory, game theory, systems and algebraic biology

■Research Interests

Proof and economic theory of information structures
Formal-reasoning techniques for the basic structures of information science, and for understanding what they mean and can be used for

■Publications

◇Published Papers

Constructive rationality implies backward induction for conscientious players，Rene Vestergaard, Pierre Lescanne, Hiroakira Ono，International Workshop on Intuitionistic Modal Logic and Applications，2008/06/23
Cascaded Games，Jittisak Senachak, Mun'delanji Vestergaard, Rene Vestergaard，LNCS/LNBI, Springer, Proceedings of the Second International Conference on Algebraic Biology (AB'07)，4545
Proof Pearl: de Bruijn terms really do work，Michael Norrish, Rene Vestergaard，LNCS, Springer, Proceedings of 20th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2007)

Display All

■Academic Awards Received

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

Rene Vestergaard Associate Professor Research Center for Integrated Science