Grant Passmore and Hito Steyerl presenting their joint work at Rhizome Seven on Seven at the New Museum, May 2016.
Born
(1983-10-18)October 18, 1983
USA
Alma mater
Clare Hall, Cambridge (Postdoc)
University of Edinburgh (PhD)
Mathematical Research Institute in the Netherlands (Master)
University of Texas at Austin (BA)
Scientific career
Fields
Theorem proving
Formal verification
Artificial intelligence
Institutions
University of Cambridge
University of Edinburgh
Imandra Inc.
Thesis
Combined Decision Procedures for Nonlinear Arithmetics, Real and Complex(2011)
Doctoral advisor
Paul B. Jackson
Musical career
Also known as
Grant Olney
Genres
Indie folk, Indie rock
Occupation(s)
Singer-songwriter
Years active
1998–present
Labels
Asian Man Records, Friendly Police UK
Website
cl.cam.ac.uk/~gp351/
Musical artist
Grant Olney Passmore (born October 18, 1983) is a singer-songwriter who has recorded on the Asian Man Records label. He is considered part of the New Weird America movement along with David Dondero, Devendra Banhart, Bright Eyes, and CocoRosie. His latest full-length album, Hypnosis for Happiness, was released in July 2013 on the Friendly Police UK label. His previous full-length album, Brokedown Gospel, was released on the Asian Man Records label in July 2004. He also releases music under the pseudonym Scout You Devil and as part of the songwriting duo Olney Clark.
Alongside his music, Passmore is also a mathematician and theoretical computer scientist, formerly a student at the University of Texas at Austin, the Mathematical Research Institute in the Netherlands, and the University of Edinburgh, where he earned his PhD. He is a Life Member of Clare Hall, University of Cambridge and is cofounder of the artificial intelligence company Imandra Inc.[1][2] (formerly known as Aesthetic Integration) which produces technology for the formal verification of algorithms. He was paired with artist Hito Steyerl in the 2016 Rhizome Seven on Seven.
As a young child and early teenager, Passmore was involved in the development of the online Bulletin Board system scene, and under the name skaboy he was the author of many applications of importance to the Bulletin Board System community, including the Infusion Bulletin Board System, Empathy Image Editor, Avenger Packer Pro, and Impulse Tracker Tosser. Passmore was head programmer for ACiD Productions while working on many of these applications.
^"Imandra gets $5M to police other tech companies' computer programs". The Austin Business Journal.
^"Imandra – Reasoning as a Service". Welcome to Imandra Inc. Retrieved July 19, 2019.
GrantOlney Passmore (born October 18, 1983) is a singer-songwriter who has recorded on the Asian Man Records label. He is considered part of the New...
Emergency Room Dan P & The Bricks Dogbreth Dog Party Dowsing Duvall GrantOlney Great Apes Grumpster Guerilla Poubelle Hard Girls The Hot Toddies Kepi...
Retrieved on 2010-10-23 Boyer, Robert S. and Moore, J Strother and Passmore, GrantOlney The PLTP Archive. Retrieved on 2023-07-27 Harrison, John HOL Light: an...
Located in Olney, Maryland, the Olney Theatre Center offers a diverse array of professional productions year-round that enrich, nurture, and challenge...
Grant Shapps (born 14 September 1968) is a British politician serving as Secretary of State for Defence since August 2023. Shapps has previously served...
1889. The Olney Corollary, also known as the Olney interpretation or Olney declaration was United States Secretary of State Richard Olney's interpretation...
doi:10.1145/62212.62257, ISBN 0-89791-264-0, S2CID 14535463 Passmore, GrantOlney; Jackson, Paul B. (2009), "Combined decision techniques for the existential...
Warren Olney, Sr. (March 11, 1841 – June 2, 1921) was an American lawyer, conservationist, and politician, in California. He was a founding member, alongside...
school was led by Rita/Rebecca Allen Olney; she left to found another school nearby with her sister Sarah Allen Olney who had been an assistant head at this...
Grant Alden Wistrom (born July 3, 1976) is an American former professional football player who was a defensive end in the National Football League (NFL)...
in Northamptonshire and flows east through Buckingham, Milton Keynes and Olney. The main branch of the Grand Union Canal passes through the county as do...
respective core urban areas, meaning that extra-urban settlements such as Olney and West Mersea fall within de jure cities. Below is a map of the 76 cities...
Company. Sarah Allen Olney was the founding head. During her short leadership the school's role grew by a factor of four. Olney resigned in 1886 to found...
fire-truck cake with a special 9/11 flag suspended from the back. Also, the Olney Theater Group wants a replica of Cinderella's carriage; a three-tier sushi...
under US government control, Naval Surface Warfare Center. Magazine used as Olney Support Center, within a fenced area, manned and guarded 24/7. The assembly...
Salle moved to its current campus at the intersection of 20th Street and Olney Avenue in the Logan neighborhood of the city. The new location had a suburban...
Olney of Nintendo Life, like Slead and Claiborn, not only welcomed the omission of the car but also commended the game's overall presentation. Olney particularly...
aptly named "Mrs. Williams' Grandchildren". The sisters graduated from Olney High School: Debbie in 1972, Joni in 1974, Kim in 1975, and Kathy in 1977...
Bucs' Jon Gruden gamble paid off with a Super Bowl". December 18, 2017. Olney, Buster (February 19, 2002). "PRO FOOTBALL; Buccaneers Get Gruden, But Pay...
dismembered or stripped of their clothes. May 18 1951 United States Texas Olney 2 Grazulis Many homes in town were destroyed, some of which were swept away...
which Goldsmith stood as an independent candidate. He was defeated by Sarah Olney of the Liberal Democrats with a majority of 1,872 votes. After Theresa May...
Stefon (born 1993). Stefon Diggs played for Our Lady of Good Counsel in Olney, Maryland, and currently plays as a wide receiver for the Houston Texans...
Global Information