Michael M. Richter
Mathematician and computer scientist
Born
June 21st, 1938
87 years ago
Died
2020
5 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
Alexander J. Dallas
Jamaican-American lawyer and politician served as the sixth United States Secretary of the Treasury from 1814 to 1815. Played a key role in managing the financial affairs of the nation during the War of 1812. Prior to this position, held the office of the Attorney General of Pennsylvania and contributed significantly to state legal matters. Also served as the Secretary of the Commonwealth of Pennsylvania before his appointment to the federal treasury. Participated in various initiatives to stabilize the economy and public finances.
Continue ReadingDaniel Carter Beard
An American author and illustrator, contributed significantly to the youth movement in America. Founded the Boy Scouts of America in 1910, establishing a national organization that aimed to promote outdoor skills, citizenship, and character development among young boys. Beard authored several books on nature and scouting, emphasizing education through hands-on experiences. His passion for the outdoors inspired many generations to engage with nature and develop self-reliance through various scouting activities.
Continue ReadingCharles Momsen
An American admiral made significant contributions to naval safety and submarine rescue. Developed the Momsen Lung, a device that facilitated underwater escape. Served as a commander of submarines during World War II and played a role in various submarine operations. Later held important positions in the U.S. Navy's Bureau of Ships and contributed to advancements in submarine technology.
Continue ReadingFlaviano Vicentini
Competed in cycling events, particularly in road racing. Participated in the 1964 Tokyo Olympics, representing Italy. Achieved notable success in national championships and various international cycling competitions. Known for endurance and tactical racing abilities throughout the cycling career.
Continue ReadingMedardo Rosso
An influential sculptor and educator, contributed to the development of modern sculpture. Developed a unique approach to form and material, emphasizing light and shadow. Worked with wax, plaster, and bronze, resulting in works that bridged traditional and contemporary styles. Engaged in various educational roles, influencing the next generation of artists through teachings and mentorship.
Continue ReadingSamuel Oppenheimer
Samuel Oppenheimer served as a banker and diplomat in the 17th century. Active in Vienna, he played a significant role in financing the Habsburgs during the wars against the Ottoman Empire. His financial support helped in enabling military campaigns and maintaining the Habsburg monarchy's power. Oppenheimer’s influence extended to various matters of state, where he combined banking with diplomatic activities. He maintained relationships with various leaders, increasing his prominence in financial and political circles.
Continue Reading