Who Is Who

• Peter G Larsen:
  • Nationality: DK
  • Education: PhD^? of DTU.
  • Note: Maintainer of Overture
• Marcel Verhoef:
  • Nationality: NL
  • Education: PhD^? of Nijmegen.
  • Note: MSc in 92 together with Peter G Larsen
• Nick Battle:
  • Nationality: UK
  • Education: BA, Computer Science at University of Cambridge
  • Note: Developer of VDMJ at Fujutsu Services
• John Fitzgerald
  • Nationality: UK
  • Education: PhD^?, Computing and Information System of Manchester
  • Note: Wrote two books together with Peter G Larsen
• Shin Nicolai Sahara
  • Nationality: JP
  • Note: Responsible for the development of VDM Tools at CSK
• Miguel Ferriera:
  • Nationality: PT
  • Education: MSc, Minho University.
  • Note: Used VDM++ and description tools from Sander Vermolen to describe properties of a grand challenge of Posix.
• Zhenbang Chen:
  • Nationality: CN
  • Note: Member of the rCos group
• Sander Vermolen:
  • Nationality: NL
  • Education: PhD^? of TU Delft
  • Note: Created tool to move proof obligation from VDM to HOL
• Hugo Macedo:
  • Nationality: PT
  • Education: PhD^? of Minho + CMU
  • Note: Worked on the peacemaker grand challenge
• Augusto Ribeiro:
  • Nationality: PT
  • Education: MSc of Minho
  • Note: Proof obligation for recursive functions
• Carlos Vihena:
  • Nationality: PT
  • Education: MSc of Minho
  • Note: Worked on VDM-JML
• Adriana Sucena Santos:
  • Nationality: PT
  • Education: MSc of Minho
  • Note: Test tool, traces in VDM
• Kenneth Lausdahl:
  • Nationality: DK
  • Education: MSc of Aarhus University
  • Note: UML transformation
• Hans Kristian Lintrup:
  • Nationality: DK
  • Education: MSc of Aarhus University
  • Note: UML transformation
• Christian Thillemann:
  • Nationality: DK
  • Education: MSc of Aarhus University
  • Note: Overture IDE
• David Møller:
  • Nationality: DK
  • Education: MSc of Aarhus University
  • Note: Overture IDE

-- PeterGormLarsen - 14 Jun 2009