Rene Vestergaard Associate Professor
Research Center for Simulation 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 Interests

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

■Publications

◇Published Papers

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
NbSE: Normalisation by Stack-based Evaluation，Rene Vestergaard，Proceedings of NBE'09, LICS'09
Formalizing adequacy，James Cheney, Rene Vestergaard, Michael Norrish，Proceedings of TAASN'09

Display All

◇Lectures and Presentations

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

■Extramural Activities

◇Other Activities

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

■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 Simulation Science