Michael M. Richter
Mathematician and computer scientist

Born
June 21st, 1938
86 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
Iztok Mlakar
An actor and singer-songwriter from Slovenia, known for a strong presence in both film and music. Gained recognition for significant roles in various theatrical productions and for contributions to Slovenian folk music. Career encompasses performances that blend traditional elements with contemporary themes, leading to a distinctive artistic style. Notable for engaging audiences with thought-provoking lyrics and captivating performances across different media.
Continue ReadingMatt Kilroy
A professional baseball pitcher competed in Major League Baseball during the late 19th century. Played primarily for the Baltimore Orioles and the Washington Senators. Achieved a remarkable feat in 1886 by winning 30 games in a single season, a significant accomplishment in the era. His career spanned from 1884 to 1890, seeing action in over 200 games and showcasing notable pitching abilities. After retiring from professional play, Kilroy remained involved in baseball, including coaching roles.
Continue ReadingCarl Stokes
A lawyer and politician, served as the first African American mayor of Cleveland, Ohio from 1967 to 1971. Played a significant role in urban policy and community development during tenure. Later appointed as United States Ambassador to Seychelles, contributing to diplomatic relations and international affairs in that region. Advocated for civil rights and engaged in various community initiatives throughout career.
Continue ReadingKip Winger
A rock singer-songwriter and musician, recognized for contributions to the music industry since the late 1980s. Gained prominence as the lead vocalist and bassist for the band Winger, which achieved success with hits such as 'Seventeen' and 'Miles Away.' Released multiple solo albums showcasing a blend of rock and classical influences. Involved in composing music for theatre and has collaborated with various artists across different genres.
Continue ReadingYingluck Shinawatra
Was a Thai politician and businesswoman who served as the 28th Prime Minister of Thailand from 2011 to 2014. The first female head of government in Thailand, she belonged to the Pheu Thai Party and led it to a notable electoral victory in 2011. Prior to her premiership, held various positions in the private sector, particularly in her family's telecommunications business. Policies focused on agricultural reform, healthcare expansion, and economic stimulation. Her tenure faced challenges including political protests and issues related to governance. In 2014, she was ousted from office by a military coup citing abuse of power. Subsequent legal challenges led to her conviction in absentia in 2017, resulting in a five-year prison sentence.
Continue ReadingBernie Kopell
An actor and comedian, born in 1933, gained prominence through a successful career in television. Achieved recognition for roles in popular TV series including 'The Love Boat' where played Dr. Adam Bricker and 'Get Smart' as Siegfried. Featured in various films and comedic appearances throughout the decades, showcasing versatility in both comedic and dramatic roles.
Continue Reading