Computer scientist
Edmund M. Clarke
Model checking, now standard in chip verification.
Edmund Melson Clarke, Jr. was an American computer scientist and academic noted for developing model checking, a method for formally verifying hardware and software designs. He was the FORE Systems Professor of Computer Science at Carnegie Mellon University. Clarke, along with E. Allen Emerson and Joseph Sifakis, received the 2007 ACM Turing Award.
- Born
- 1945-07-27, Newport News, USAA Friday
- Died
- 2020-12-22, Pittsburgh, USAA Tuesday, aged 75
- At birth
- Sun in Leo, Moon in Pisces
- Nationality
- United States
- Birth-time source
- No birth time on record: Rodden X
Born
Died
At birth
Nationality
Birth-time sourceBirth Chart
1945-07-27, Newport News, USA · time unknown, noon chart
America/New_Yorkthe zone used then
America/New_YorkThe chart
| Body | Sign | Degree | Motion |
|---|---|---|---|
| Sun | Leo | 4°13′ | Direct |
| Moon | Pisces | 7°22′ | Direct |
| Mercury | Virgo | 0°48′ | Direct |
| Venus | Gemini | 21°20′ | Direct |
| Mars | Gemini | 2°56′ | Direct |
| Jupiter | Virgo | 24°37′ | Direct |
| Saturn | Cancer | 17°03′ | Direct |
| Uranus | Gemini | 16°06′ | Direct |
| Neptune | Libra | 4°07′ | Direct |
| Pluto | Leo | 9°41′ | Direct |
Death Chart
2020-12-22, Pittsburgh, USA · time unknown, noon chart
America/New_Yorkthe zone used then
The chart
| Body | Sign | Degree | Motion |
|---|---|---|---|
| Sun | Capricorn | 1°18′ | Direct |
| Moon | Aries | 9°15′ | Direct |
| Mercury | Capricorn | 2°46′ | Direct |
| Venus | Sagittarius | 8°46′ | Direct |
| Mars | Aries | 23°34′ | Direct |
| Jupiter | Aquarius | 0°41′ | Direct |
| Saturn | Aquarius | 0°35′ | Direct |
| Uranus | Taurus | 6°56′ | Retrograde |
| Neptune | Pisces | 18°19′ | Direct |
| Pluto | Capricorn | 23°53′ | Direct |
Their Astrocartography
Where each planet sat on one of the four angles at the moment Edmund M. Clarke was born. Tap a line to read what the tradition associates with it.
Cast for noon, as the birth time is unknown, so the longitudes are approximate.