logo

myAstropedia

​
Celebrities

0

|
Countries

0

|
Companies

0

myAstropedia home
Birth Chart and Horoscope of Formal methods people

    A

  • Adriaan van Wijngaarden
  • Anders P. Ravn
  • B

  • Bernhard Steffen (computer scientist)
  • D

  • David Harel
  • David Parnas
  • Dines Bjørner
  • E

  • E. Allen Emerson
  • Edsger W. Dijkstra
  • Egon Börger
  • Eric Hehner
  • G

  • Gérard Huet
  • H

  • Helmut Veith
  • J

  • John Alan Robinson
  • John McCarthy (computer scientist)
  • Jonathan Bowen
  • Juan Pavón
  • K

  • Klaus Samelson
  • L

  • Leslie Lamport
  • M

  • Manfred Broy
  • Martin Henson
  • Michael Fourman
  • Michael J. C. Gordon
  • N

  • Niklaus Wirth
  • O

  • Ole-Johan Dahl
  • P

  • Peter Lucas (computer scientist)
  • Peter O'Hearn
  • R

  • Richard Bird (computer scientist)
  • Robert Kowalski
  • Rudolf Berghammer
  • S

  • Sergiy Vilkomir
  • Steve Reeves (computer scientist)
  • U

  • Ursula Martin
  • Z

  • Zhiming Liu (computer scientist)
  • Zhou Chaochen

More categories: Sun Semisextile Mars, Distinguished Eagle Scouts, VC Vlissingen players, People from Panaji, People from Long Lake, Fellows of the Institution of Chemical Engineers, People from Belle Meade, Swedish disabled sportspeople, South African people of Punjabi descent, Godber family