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
Eumir Deodato
A Brazilian pianist, composer, and producer, contributed significantly to the music scene, particularly in the genres of jazz and orchestral music. Gained attention for the orchestral version of Richard Strauss's 'Also Sprach Zarathustra', which became a popular hit in the early 1970s. Worked with various artists and produced influential albums that blended different musical styles. Established a prominent career in the music industry, earning accolades for outstanding arrangements and compositions.
Continue ReadingEzzatolah Entezami
An acclaimed Iranian actor with a career spanning over five decades, particularly recognized for performances in Persian cinema. Gained prominence in the 1969 film 'The Cow,' which was pivotal in shaping Iranian New Wave cinema. Collaborated with renowned director Dariush Mehrjui in several significant works. Also featured in films such as 'The Post Man' and 'Hamoun.' Involved in theater, contributing to both traditional and modern Iranian performances. Received multiple awards for acting, showcasing versatility and dedication in portraying complex characters.
Continue ReadingJohann Christoph Friedrich Bach
Born in 1732, this composer contributed significantly to the transition from the Baroque to the Classical style. As a member of the prominent Bach family, he developed a distinct musical voice and created a variety of works including symphonies, chamber music, and keyboard compositions. His contributions to keyboard music were particularly notable, with a focus on the harpsichord and piano. He held positions in various courts, including the service of the Duke of Saxe-Weissenfels, which allowed for the proliferation of his compositions. He had a significant relationship with other composers and musicians, influencing the musical landscape of his time.
Continue ReadingLuis Antonio Tagle
Ordained as a priest in 1982, served in various roles before becoming the Archbishop of Manila in 2011. Appointed a cardinal by Pope Benedict XVI in 2012. Involved in several international dialogues and conferences concerning the Catholic Church's role in societal issues. Participated in the 2013 conclave that elected Pope Francis. Advocate for social justice and promoted programs for the poor and marginalized in the Philippines.
Continue ReadingPier Luigi Nervi
An Italian engineer and architect, contributed significantly to the field of structural engineering and modern architecture. Developed innovative construction techniques that combined concrete and steel. Designed iconic buildings including the Pirelli Tower in Milan and the Tour de la Bourse in Montreal. Advocated for the use of new materials and methods in construction, influencing future architectural designs. Served as a professor at the University of Rome, sharing expertise with future engineers and architects.
Continue ReadingNorman L. Bowen
An influential geologist and petrologist, significant contributions were made to the understanding of igneous rock formation and the processes involved in the generation of granitoids. Pioneered the concept of fractional crystallization and established Bowen's Reaction Series, which illustrated how minerals crystallize from cooling magma in a systematic manner. Conducted extensive research on the geological characteristics of the Canadian Shield and other regions, aiding in the advancement of geological mapping.
Continue Reading