René VESTERGAARD, PhD Associate Professor, RCIS, JAIST (Adjunct) Associate Professor, School of IS, JAIST [ Courses | Research | Students, etc. | Personal | Local | Coordinates ]

General

• Information for prospective students to JAIST
• Information for editors and PC members seeking reviews

Courses

• I413, lambda Calculus: [ H19, 1-2 | H18, 2-2 ]
• I617, Formal Game Theory: [ H18, 2-1 ]
• I618, Graph Theory/4 Colour Theorem: [ H19, 2-2 ]
• I643, Formal Reasoning: [ H19, 2-1 | H17, 2-1 ]

Research

• Long-term research programme: proof and economic theory of information structures
• Interests:
  • foundations, proof theory, informatics
  • theorem proving, diagrammatic reasoning, rewriting, game theory
  • programming-language theory, systems biology
• Articles and implementation work
• The CEq formal method
• Projects:
  • Formal game theory
    [w/ Stephane Le Roux, Pierre Lescanne, Hiroakira Ono]
  • Systems biology
    [w/ Franck Delaplace, Senachak Jittisak, Pierre Lescanne, Mun'de Vestergaard]
  • Reasoning about languages with binding
    [w/ Michael Norrish ]
  • Digital Rights
• Past work:
  • The primitive proof theory of the lambda-calculus and other primitive reasoning
  • Proof theory and computation
  • Normalisation by evaluation: the NbE machine, NbKM
  • module systems; explicit substitutions; semantics-based compiling; type-directed partial evaluation
• Work-related material: conferences, types, rewriting, proof theory, FOM, biblio [1, 2], Great Works
• People: Anton Setzer's server, Peter Hancock's record, Christian Urban's links

• Past events: Binding Challenges, 2005; TRS-21

Local

• Japanese public holidays
• weather (satellite)

Coordinates

E-mail:

vester-at-jaist.ac.jp (OpenPGP public key)

Work:

School of Information Science,

JAIST, 1-1 Asahidai,

Nomi, Ishikawa 923-1292,

Japan

Telecom:

Fax (departmental): {+81,0} 761-51-1149

Mobile phone: {+81,0} 90-8703-9985

René Vestergaard