Thomas Ball (computer Scientist)
   HOME

TheInfoList



OR:

Thomas or Tom Ball may refer to: * Thomas Ball (priest, born 1590) (1590–1659), English divine *
Thomas Ball (archdeacon of Chichester) The Venerable Thomas Ball ( 1697 – 19 July 1770) was the son of Lawrence Ball, of Eccleston, Lancashire, and a Church of England clergyman. Family Thomas Ball married Margaret Mill (1712–1783) in Greatham, Sussex, on 8 July 1732 when he was ...
(1697–1770), Church of England clergyman * Thomas Ball (New Zealand politician) (1809–1897), represented the Mongonui electorate *
Thomas Ball (artist) Thomas Ball (June 3, 1819 – December 11, 1911) was an American sculptor and musician. His work has had a marked influence on monumental art in the United States, especially in New England. Life He was born in Charlestown, Massachusetts, to ...
(1819–1911), American sculptor *
Thomas Henry Ball Thomas Henry Ball (January 14, 1859 – May 7, 1944) was a Texas politician and a Democratic Party (United States), Democratic member of the United States House of Representatives. He was mayor of Huntsville, Texas, from 1877 to 1892, and moved to ...
(1859–1944), American politician and U.S. representative from Texas * Thomas Ball (New Zealand cricketer) (1865–1953), New Zealand cricketer * Tom Ball (golfer) (1882–1919), English golfer * Thomas R. Ball (1896–1943), American politician and U.S. representative from Connecticut *
Tommy Ball Thomas Edgar Ball (11 February 1900 – 11 November 1923) was an English footballer who played at centre-half for Aston Villa. He was shot dead by his landlord and neighbour, ex-policeman George Stagg, thus becoming the first and to-date only ...
(1900–1923), English footballer * Thomas Ball (provost of Cumbrae) (died 1916), Scottish priest * Tom Ball (cricketer) (1921–2002), Australian cricketer *
Thomas Ball (South African cricketer) Thomas Ball (born 13 February 1951) is a South African former cricketer. He played sixteen first-class matches for Border Borders are usually defined as geographical boundaries, imposed either by features such as oceans and terrain, or by ...
(born 1951), South African cricketer *
Thomas Ball (computer scientist) Thomas or Tom Ball may refer to: * Thomas Ball (priest, born 1590) (1590–1659), English divine * Thomas Ball (archdeacon of Chichester) (1697–1770), Church of England clergyman * Thomas Ball (New Zealand politician) (1809–1897), represent ...
(born 1965), see
SLAM project The SLAM project, which was started in 1999 by Thomas Ball and Sriram Rajamani of Microsoft Research, aimed at verifying software safety properties using model checking techniques. It was implemented in OCaml, and has been used to find many bugs in ...
* Thomas Ball (activist) (died 2011), American father's rights advocate and self-immolator * Tom Ball (singer) (born 1998), English singer {{hndis, Ball, Thomas