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