Kevin Buzzard
Mathematician and computer scientist
Born
September 21st, 1968
57 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
Bob Stokoe
Stokoe was an English footballer who primarily played as a defender. He began his career at Newcastle United, making significant contributions to the team's success. After retiring as a player, he transitioned to management, where he led Sunderland to victory in the 1973 FA Cup, an unexpected triumph against Leeds United. This victory remains one of the standout moments in his managerial career. Additionally, he managed various clubs, including Wigan Athletic and Workington, demonstrating a commitment to developing football at the grassroots level.
Continue ReadingSimon Mayo
A prominent English radio host recognized for engaging radio shows and contributions to BBC Radio. Hosted the drivetime show on BBC Radio 2 and later the afternoon show on BBC Radio 5 Live, gaining a loyal audience. Authored several novels, including 'Itch' and 'Itch Rocks', which cater to young readers. Also presented movie reviews alongside fellow broadcaster Mark Kermode on the show 'Kermode and Mayo's Film Review'.
Continue ReadingMaggie Grace
Born in 1983, this American actress gained recognition for her role as Kim in the 'Taken' film series. The series, starring Liam Neeson, showcased her as a pivotal character through intense sequences. She also appeared in the hit television series 'Lost' as Shannon Rutherford, contributing to the show's critical success. In addition, she acted in various films, including 'The Twilight Saga: Breaking Dawn' and 'The Hurricane Heist'. Throughout her career, this actress exhibited strong on-screen presence and versatility in performances.
Continue ReadingHowie Morenz
A prominent ice hockey player, contributions spanned the National Hockey League (NHL) primarily with the Montreal Canadiens. Established as one of the sport's first stars, led the league in scoring for multiple seasons. Played a significant role in the Canadiens' success during the 1930s, winning three Hart Trophies as the league's Most Valuable Player. Notably, recognized for his exceptional skating ability and agility, earning the nickname 'The Maestro'. His career was tragically cut short due to injury, with untimely death occurring in 1937, leaving a lasting legacy in the world of hockey.
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 ReadingMelissa Ferrick
Born in 1970, a prominent figure in the American music scene. Began performing in local venues, gaining recognition for a unique blend of rock and folk influences. Released several albums, with notable works including 'Freedom,' 'Flicker,' and 'The Truth'. Developed a strong following through engaging performances and intimate songwriting, often addressing themes of love and personal struggle. Collaborated with various artists and influenced many within the indie music community. Served as an inspiration for emerging singer-songwriters.
Continue Reading