Michael M. Richter

Mathematician and computer scientist

Michael M. Richter - Scientists & Innovators born June 21st, 1938
Born
Died

2020
6 years ago — 82 years old

Category

Scientists & Innovators

Country

Germany

Links & References

Contributions included research in formal methods and computer-aided verification. Developed techniques for software reliability and contributed to automated reasoning. Worked at several institutions, influencing both academia and industry with advancements in formal specification and verification. Published numerous papers on semantics and logic in computer science.

Contributed to formal methods in computer science

Developed formal specification techniques

Influenced software reliability practices

Other People Born on June 21st

Leonhard Rauwolf

Physician and botanist; travel writings
Born
June 21st, 1535 490 years ago
Died
September 15th, 1596 429 years ago — 61 years old

A German physician and botanist, contributions focused on the study of medicinal plants and their uses in medicine. Travelled extensively in the Middle East and documented flora and fauna encountered during journeys. Notable work includes 'Beschreibung der Provintz Aleppo,' which provided insights into the botany and culture of the region. This work became an important reference for later botanists and physicians.

Continue Reading

Rockwell Kent

American painter and illustrator
Born
June 21st, 1882 143 years ago
Died
March 13th, 1971 54 years ago — 88 years old

A prominent painter and illustrator, contributed to American visual arts with bold landscapes and striking imagery. Worked extensively in various media, including oil painting, lithography, and illustration. Gained recognition for the illustrations in classic literature, marrying visual art with text. Involved in the Works Progress Administration, supporting artistic initiatives during the Great Depression. Travelled to remote locations that influenced artistic style, including Alaska and Greenland.

Continue Reading

Adrianus de Jong

Dutch fencer and Olympian
Born
June 21st, 1882 143 years ago
Died
1966 60 years ago — 84 years old

Born in the Netherlands, a prominent fencer and soldier achieved recognition during the early 20th century. Competing in the 1920 Summer Olympics in Antwerp, displayed skill in individual foil events and contributed to team competitions. Besides sporting pursuits, served in military capacities, balancing a dual career until retirement.

Continue Reading

Judy Holliday

American actress in 'Born Yesterday'
Born
June 21st, 1921 104 years ago
Died
June 7th, 1965 60 years ago — 43 years old

An accomplished actress and singer, celebrated for significant contributions to American cinema and theatre. Starred in the original Broadway production of 'Born Yesterday', earning a Tony Award for her performance. Transitioned to film, achieving critical acclaim for the movie adaptation of 'Born Yesterday', which garnered an Academy Award for Best Actress. In addition to her film work, participated in various stage productions, showcasing remarkable versatility and talent.

Continue Reading

Tibor Szele

Hungarian mathematician and scholar
Born
June 21st, 1918 107 years ago
Died
April 5th, 1955 70 years ago — 36 years old

Contributed significantly to the fields of mathematics and set theory. Worked extensively on combinatorial set theory and made advances in the axiomatic foundations of mathematics. Published numerous papers, influencing mathematical research and education in Hungary. Also served as a professor, guiding students in advanced mathematical concepts.

Continue Reading

David Kushnir

Israeli Olympic long-jumper
Born
June 21st, 1931 94 years ago
Died
2020 6 years ago — 89 years old

Competed in long jump events during the 1950s. Participated in the 1952 Helsinki Olympics, representing Israel. Achieved personal bests in various competitions throughout the career, contributing to the growth of athletics in Israel. Engaged in promoting athletics in the country post-retirement.

Continue Reading