Kevin Buzzard
Mathematician and computer scientist
Born
September 21st, 1968
56 years ago
Category
Scientists & Innovators
Country
United Kingdom
Links & References
Contributed to the fields of mathematics and computer science, with a focus on theorem proving and algebra. Worked on the Lean Theorem Prover, enhancing its capabilities for interactive proof development. Engaged in educational initiatives to improve mathematics education, particularly in relation to computer-assisted proofs.
Developed significant features for the Lean Theorem Prover
Published research on automated theorem proving
Other People Born on September 21st
Françoise Giroud
Contributions included significant journalism, screenwriting, and political roles. Served as the French Minister of Culture and helped shape cultural policy in the country. Played a crucial role in the establishment of public broadcasting in France, promoting cultural programming and arts.
Continue ReadingJonas Bjerre
A singer-songwriter and guitarist, active in the music scene since the late 1990s. Formed the band Mew, contributing as the lead vocalist and guitarist. The band's music is characterized by its ethereal sound and poetic lyrics. Released several critically acclaimed albums, including ‘Frengers’ and ‘And the Glass Handed Kites’. Known for engaging live performances and unique soundscapes, often blending genres such as rock, pop, and electronic. Continues to be a significant figure in the Danish music industry.
Continue ReadingRob Morrow
An American actor gained recognition for roles in television and film. Starred as Joel Fleischman in the series 'Northern Exposure', which aired from 1990 to 1995, receiving critical acclaim and several awards. Played Richard Goodwin in the film 'Quiz Show', released in 1994, which earned multiple Academy Award nominations. Morrow also appeared in other television shows including 'Numbers' and 'The Ranch'. Career continued with various roles across different media, showcasing versatility in acting.
Continue ReadingPhilip Howard
Ordained as a Catholic priest, served in England during a time of significant religious conflict. Became a cardinal in 1645 and was an influential figure within the Catholic Church. Arrested for his faith, endured imprisonment and ultimately martyrdom for his religious convictions. Recognized as a saint in the Catholic Church, contributing to the legacy of English Catholicism.
Continue ReadingDoug Moe
A basketball player and coach, contributions spanned several decades in the sport. Played for the Chicago Bulls and the Atlanta Hawks during an active playing career in the NBA. Transitioned into coaching, leading teams such as the Denver Nuggets in the NBA. Developed a reputation for up-tempo offensive strategies and effective player management. Achieved several playoff berths with coaching roles. Inducted into the Colorado Sports Hall of Fame as recognition for coaching excellence.
Continue ReadingHans Hartung
Born in Germany and later becoming a French citizen, this painter is associated with abstract expressionism. His career spanned several decades, during which he developed a unique style characterized by bold brushstrokes and vibrant colors. After moving to Paris in the 1930s, the artist gained prominence in the post-World War II art scene. Numerous exhibitions showcased his work, contributing to his reputation as a significant figure in modern art. The painter utilized various techniques, including the use of spray paint, which added a distinct element to his creations.
Continue Reading