Michael M. Richter
Mathematician and computer scientist
Mathematician and computer scientist
2020
6 years ago — 82 years old
Scientists & Innovators
Germany
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
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 ReadingAn economist and academic contributed to the theory of incentive systems and auction design. Vickrey's work on the theory of second-price auctions established foundational concepts in auction theory. He received the Nobel Memorial Prize in Economic Sciences in 1996 for his analysis of incentives under asymmetric information and for his contributions to auction theory. Vickrey served as a professor at Columbia University and was actively involved in various economic research initiatives throughout his career.
Continue ReadingA professional tennis player, he achieved significant success on the ATP Tour and in international competitions. Berankis earned his first ATP title in 2018 at the New Zealand Open. Known for his strong baseline play and tactical approach, he represented Lithuania in various international team events, including the Davis Cup. Berankis also had a notable junior career, winning the 2007 Wimbledon boys' singles title.
Continue ReadingCompeted in wheelchair basketball representing Australia. Participated in the 2008 Summer Paralympics in Beijing. Played for the Canberra Nationals and achieved success in various championships. Contributed to the development of the sport in Australia.
Continue ReadingJamaican-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 ReadingA 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