Sue Bierman (August 5, 1924 – August 7, 2006) was a civic leader in San Francisco. She worked on the San Francisco Planning Commission, the Board of Supervisors, and the Port Commission. She was born in Fremont, Nebraska, and moved to San Francisco in the 1950s with her husband, Arthur K.
• John Mitchell, American jazz banjoist who worked with Johnny Dunn • John Mitchell, Canadian ice dancer in the 1962 World Figure Skating Championships • John Mitchell (minister) (1794–1870), American minister and author • John Mitchell (musician) (born 1973), lead singer and guitarist for UK band It Bites, and music producer • John Ames Mitchell (1844–1918), American illustrator • John Cameron Mitchell (born 1963), American filmmaker • John Campbell Mitchell (1861–1922), Scottish landscape artist • John Grant Mitchell (actor) (1874–1957), American character actor in the 1930s and 1940s • John Hanson Mitchell (born 1940), American author • John Mitch Mitchell (1946–2008), English musician • John R. Mitchell (poet) (1940–2006), poet and a professor of English • John W. Mitchell (1917–2005), British sound engineer • John Wendell Mitchell (1880–1951), Canadian author
Frank Pfenning is a professor of computer science and a part-time professor in philosophy. He was the leader of the Computer Science Department at Carnegie Mellon University from 2013 to 2018.
The Larch Prover, or LP for short, is a tool that helps prove mathematical statements in a type of logical system called multi-sorted first-order logic. It was used at MIT and other places during the 1990s to check and improve designs for circuits, concurrent algorithms, hardware, and software. Unlike most theorem provers, which try to automatically find proofs for correct statements, LP was designed to help users find and fix problems in their ideas during the early stages of creating designs.
Giulio Mancinelli (Latin: Julius Mancinellus) was a Jesuit missionary who lived from 1537 to 1618. He worked as a missionary during the 16th and 17th centuries. In 1583, he founded the first Jesuit mission in Istanbul, which was controlled by the Ottoman Empire at that time.
“Smile Before Death” (Italian: “Il sorriso della iena,” which means “Smile of the Hyena”) is a 1972 Italian giallo film. Silvio Amadio wrote and directed the movie. Rosalba Neri is the main actress in the film.
New York Undercover is an American police drama that was shown on the Fox television network from September 8, 1994, to February 11, 1999. The show featured Malik Yoba as Detective J.C. Williams and Michael DeLorenzo as Detective Eddie Torres, two undercover detectives in New York City’s Fourth Precinct who worked on cases involving crimes and gangs.
Michele Pagano is an Italian-American biochemist and cancer biologist. He is best known for his work on cell cycle control and the ubiquitin-proteasome system. He is currently the chairman of the Department of Biochemistry and Molecular Pharmacology and the Ellen and Gerald Ritter Professor of Oncology at the New York University School of Medicine.
Gilles Dowek was born on December 20, 1966, in Paris. In 1991, he completed his doctorate at the University of Paris 7 with a thesis titled Automatic Proving in the Calculus of Constructions. From 2002 to 2010, he taught at the École polytechnique.