Kevin Buzzard
Mathematician and computer scientist
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
Anastassia Kovalenko
Estonian motorcycle racer
Born
September 21st, 1991 34 years ago
Born in 1991, this motorcycle racer participated in various national and international competitions. Achievements include competing in the Women's European Moto3 Championship and securing podium finishes in several regional events. The racer gained recognition within the Estonian motorsport community for dedication to the sport and contribution to its growth in the country.
Continue ReadingKirsty Gilmour
Scottish badminton player and Olympian
Born
September 21st, 1993 32 years ago
Participated in badminton at the 2016 Rio Olympics. Achieved a silver medal at the 2014 Commonwealth Games in Glasgow. Featured prominently in various European championships, consistently ranking among the top players in Scotland and Great Britain. Competed in multiple BWF tournaments, earning a variety of titles throughout her career.
Continue ReadingKwon Mina
South Korean singer and actress
Born
September 21st, 1993 32 years ago
Born in 1993, a South Korean singer and actress gained prominence as a member of the girl group AOA. Achieved success with the single "Miniskirt" which became a commercial hit. Transitioned into acting, appearing in dramas such as "My Roommate Is a Gumiho" and "Venom. Produced several solo music efforts, contributing to her recognition in both music and television.
Continue ReadingDevyn Marble
Basketball player, NBA Championship team
Born
September 21st, 1992 33 years ago
Played college basketball at the University of Iowa, earning All-Big Ten honors. Selected by the NBA team, the Orlando Magic, in the second round of the 2014 NBA Draft. Also played for the Erie BayHawks in the NBA Development League. Competed internationally, representing teams in various leagues in Europe.
Continue ReadingFanny Searls
American biologist and educator
Born
September 21st, 1851 174 years ago
Died
May 24th, 1939 86 years ago — 87 years old
Contributed significantly to the field of biology, particularly in the study of freshwater algae. Worked as a professor in various educational institutions, emphasizing the importance of practical biological studies. Published numerous papers and served as a member of several scientific societies. Actively engaged in educational reforms and promoted the inclusion of natural sciences in academic curricula.
Continue ReadingAl-Farouq Aminu
Basketball player with the New Orleans Pelicans
Born
September 21st, 1990 35 years ago
Professional basketball player participated in the NBA. Played college basketball at Wake Forest University. Selected as the 8th overall pick in the 2010 NBA Draft by the Los Angeles Clippers. Played for the New Orleans Pelicans, Orlando Magic, Dallas Mavericks, and multiple other teams throughout his career. Contributed primarily as a small forward and power forward, known for defensive skills and versatility. Represented Nigeria in international competitions, including the Olympics.
Continue Reading