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
Howie 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 ReadingDavid Hood
Active as a session musician, played bass guitar on many notable recordings. Contributed significantly to the Muscle Shoals sound, collaborating with various artists. Participated in recording sessions that led to several hit singles from the 1960s through the 2000s, including work with Aretha Franklin, The Rolling Stones, and Paul Simon. Also known for contributions to the band The Swampers, which became prominent in the music industry.
Continue ReadingMoritz Leuenberger
A lawyer and member of the Social Democratic Party, served as the 87th President of the Swiss Confederation in 2001. Held various positions in the federal government, including head of the Federal Department of Transport, Communications and Energy from 1995 to 2009. Focused on issues such as transport policy, energy, and telecommunications. Played a significant role in the promotion of rail transport and advocated for sustainable development throughout his political career.
Continue ReadingJuan José Arreola
Wrote numerous short stories, essays, and plays throughout a prolific career. Published works include "Bestiario" and "La feria," which paired fantasy with reality, establishing a unique literary voice in Mexican literature. Served as a cultural ambassador, engaging with international literary communities. Contributed to journalism and literary critique, influencing future generations of writers.
Continue ReadingCourtney Paris
A professional basketball player achieved prominence in collegiate basketball while playing for the University of Oklahoma. Garnered multiple accolades during college, earning the Naismith Award and All-American honors in consecutive years. Competed in the Women's National Basketball Association (WNBA), contributing to multiple teams including the San Antonio Stars and the Atlanta Dream.
Continue ReadingRick Mahorn
An American basketball player and coach, contributed significantly to the Detroit Pistons during the late 1980s. Played as a center and power forward, known for his physical style of play. Was a key member of the 'Bad Boys' Pistons that won the NBA Championship in 1989. Transitioned into coaching after retirement, taking roles in various professional and college programs. Also engaged in sports commentary and community initiatives.
Continue Reading