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
Joseph Mazzello
An American actor, director, producer, and screenwriter. Gained prominence for roles in significant film and television projects. Featured as Tim Murphy in the movie 'Jurassic Park.' Appeared as Eugene Sledge in the acclaimed HBO miniseries 'The Pacific,' exploring the experiences of World War II soldiers. Expanded involvement in filmmaking through directing and producing.
Continue ReadingJohn Bunny
This individual was a silent film actor who gained recognition in the early 1900s. Primarily active in the 1910s, starred in a range of comedic and dramatic roles. Gained fame for the character roles portrayed in various productions. Worked extensively with the American Film Company and was a leading figure in early cinema.
Continue ReadingLouis Jolliet
Born in 1645, a French Canadian explorer played a key role in the exploration of North America. Jolliet, alongside Father Jacques Marquette, undertook an expedition to explore the Mississippi River in 1673. The journey aimed to find a route to the Pacific Ocean and to promote trade with Native American tribes. The exploration provided valuable mapping and knowledge of the region. Jolliet's reports detailed the geography, peoples, and resources encountered during the expedition. In 1680, he helped in the exploration of the Illinois River, further contributing to early cartography in North America. His work laid important groundwork for future explorations and settlements in the region.
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 ReadingJohn McHale
Played as a catcher in Major League Baseball for teams including the Chicago Cubs and the Philadelphia Phillies. Transitioned into a managerial role, leading teams such as the Detroit Tigers and the New York Mets. Managed the Tigers to a World Series championship in 1968. Served as the general manager for the Expos and contributed to the growth of baseball in Montreal during the team's early years. His career spanned several decades and included both playing and coaching roles within the sport.
Continue ReadingRicki Lake
An American actress, producer, and talk show host gained prominence in the 1990s. Starred in the film 'Hairspray' as Tracy Turnblad, which became a cult classic. Launched a successful daytime talk show, 'The Ricki Lake Show,' that aired from 1993 to 2004, addressing various social issues and personal stories. Lake's work often centered around themes of body positivity and mental health awareness.
Continue Reading