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
Odilo Scherer
Brazilian cardinal with Vatican roles
Born
September 21st, 1949 76 years ago
Ordained a priest in 1975, served in various pastoral roles in Brazil. In 2001, appointed as Auxiliary Bishop of São Paulo and later became the Archbishop of São Paulo in 2007. Elevated to the cardinalate in 2007. Participated in the 2013 papal conclave. Engaged in social issues, including poverty and education.
Continue ReadingKim Jong-dae
South Korean singer-songwriter and member of EXO
Born
September 21st, 1992 33 years ago
A South Korean singer-songwriter born in 1992 rose to fame as a member of the boy group EXO. The group debuted in 2012 under SM Entertainment and quickly gained popularity both domestically and internationally. In addition to group activities, solo projects included a successful solo album, with the title track showcasing vocal prowess. Collaborations with other artists and participation in soundtracks expanded the musical career. Noteworthy is the involvement in the project group SuperM, a collaboration with other prominent SM artists, which debuted in 2019.
Continue ReadingPolyxena of Hesse-Rotenburg
Countess Consort of Hohenlohe-Neuenstein
Born
September 21st, 1706 319 years ago
Died
1735 291 years ago — 29 years old
Born in 1706, a member of the House of Hesse-Rotenburg, married to Heinrich Friedrich, Count of Hohenlohe-Neuenstein. Resided in Hohenlohe-Neuenstein where played a significant role in the local aristocracy. Engaged in various state affairs alongside husband, contributing to the governance of the region. Had several children, furthering the family lineage within German nobility.
Continue ReadingManny Harris
Basketball player and college star
Born
September 21st, 1989 36 years ago
An American basketball player, played college basketball at the University of Michigan. Excelled during the 2009-2010 NCAA season, earning All-Big Ten honors. Transitioned to professional basketball, playing for teams in the NBA and overseas. Had a stint with the Cleveland Cavaliers and went on to play in various international leagues.
Continue ReadingAntoine Barnave
French politician and orator
Born
September 21st, 1761 264 years ago
Died
1793 233 years ago — 32 years old
Born in 1761, a prominent politician and orator during the French Revolution. Initially a supporter of the Constitutional Assembly, played a key role in the early stages of the revolution. Advocated for constitutional monarchy and sought to appease various factions within the revolutionary movement. Engaged in significant debates that influenced the direction of revolutionary policy. Eventually arrested during the Reign of Terror for opposing radical measures, faced execution in 1793. His political writings and efforts contributed to shaping the revolutionary discourse of the era.
Continue ReadingNicole Richie
Actress and fashion designer, author
Born
September 21st, 1981 44 years ago
Born in 1981, this American actress gained popularity through the reality television series 'The Simple Life', which aired from 2003 to 2007. In addition to television, ventured into fashion and launched a successful clothing line called House of Harlow 1960. Authored multiple books, including a novel titled 'The Truth About Diamonds'. Additionally, appeared in various television series such as 'Candidly Nicole'.
Continue Reading