Kestrel Institute

Kestrel Institute
TypeThink tank
Registration no.94-2750021
Legal statusNonprofit
PurposeR&D on methods for software assurance[1]
Location
FieldsComputer science
Director
Cordell Green
Revenue (2015)
$4.9 million[1]
Websitekestrel.edu

The Kestrel Institute is a nonprofit computer science research center located in Palo Alto's Stanford Research Park. Cordell Green, who founded Kestrel in 1981, is its Director and Chief Scientist.[2][1] Its mission is to make it easier to write good, high-quality software and employs computer scientists like Lambert Meertens.[3][clarification needed]

In the 1980s, Kestrel described its research focus as "knowledge-based software environments" to make it easier to write software ("normalize and mechanize the programming process").[4] In addition, a 2002 MIT Technology Review article described one of Kestrel's projects as a way to "almost force coders to write reliable programs".[5] A 2005 Newsweek article discussed one Kestrel technology that developed software to help the U.S. military schedule cargo deployment by "translating a description of a problem into guidelines a computer can understand".[6]

Nearly all of Kestrel's funding comes from government grants, from organizations such as the U.S. Department of Defense, DARPA, Intelligence Advanced Research Projects Activity (IARPA), Air Force Research Laboratory (AFRL), AFOSR, Office of Naval Research (ONR), NASA, and the National Science Foundation (NSF).[7][8] In 2015, it received $4.9 million in grants and contributions, down from the previous year's $6.6 million.[1]

References

  1. ^ a b c d "2015 Form 990, Kestrel Institute" (PDF). GuideStar. 6 October 2016. Retrieved 23 January 2018.
  2. ^ "Kestrel Institute". Bloomberg. Retrieved 23 January 2018.
  3. ^ "prof. L.G.L.T. Meertens". Utrecht University. Retrieved 23 January 2018.
  4. ^ Douglas R. Smith; Gordon B. Kotik; Stephen J. Westfold (November 1985). "Research on Knowledge-Based Software Environments at Kestrel Institute" (PDF). IEEE Transactions on Software Engineering. SE-11 (11): 1278–1295. doi:10.1109/tse.1985.231879. Retrieved 23 January 2018.
  5. ^ Mann, Charles C. (1 July 2002). "Why Software Is So Bad". MIT Technology Review. Retrieved 23 January 2018.
  6. ^ "Computer Software That Writes Itself". Newsweek. 25 December 2005. Retrieved 23 January 2018.
  7. ^ "Synthesis of High-Assurance Software". Kestrel Institute. Retrieved 23 January 2018.
  8. ^ "GuideStar Report: Kestrel Institute". GuideStar. Retrieved 23 January 2018.

Read other articles:

العلاقات البيلاروسية السيراليونية

العلاقات البيلاروسية السيراليونية روسيا البيضاء سيراليون   روسيا البيضاء   سيراليون تعديل مصدري - تعديل   العلاقات البيلاروسية السيراليونية هي العلاقات الثنائية التي تجمع بين روسيا البيضاء وسيراليون.[1][2][3][4][5] مقارنة بين البلدين هذه مقا�...

 

 

Erasmusbrug

Jembatan ErasmusErasmusbrugJembatan Erasmus di RotterdamKoordinat51°54′33″N 4°29′12″E / 51.90917°N 4.48667°E / 51.90917; 4.48667Koordinat: 51°54′33″N 4°29′12″E / 51.90917°N 4.48667°E / 51.90917; 4.48667Moda transportasi4 jalur, 2 jalur trem, 2 jalur sepeda, 2 trotoarMelintasiNieuwe MaasLokalRotterdam, BelandaNama lainDe Zwaan (The Swan)KarakteristikBahan bakuBajaPanjang total802-meter (2.631 ft)Lebar338-meter (1.109&...

 

 

Ulmus 'Scampstoniensis'

Elm cultivar Ulmus 'Scampstoniensis'Scampston Elm aged 6 years, Wodenethe, New York (1859)GenusUlmusCultivar'Scampstoniensis'OriginEngland The elm cultivar Ulmus 'Scampstoniensis', the Scampston Elm or Scampston Weeping Elm, is said to have come from Scampston Hall, Yorkshire, England, before 1810.[1][2] Loudon opined that a tree of the same name at the Royal Horticultural Society's Garden in 1834, 18 feet (5.5 m) high at 8 years old differed little from the species (i.e....

Ontario Agricultural College

Agricultural school associated with the University of Guelph Ontario Agricultural College at the University of GuelphTypePublic university Agricultural CollegeEstablished1874DeanRene Van Acker, PhDUndergraduates2,000 studentsPostgraduates680 studentsLocationGuelph and Ridgetown formerly Alfred and Kemptville, Ontario, CanadaColoursRed and White    AffiliationsCUSID, UACC, ACCC, CCAA,Websitehttp://www.oac.uoguelph.ca/ The Ontario Agricultural College (OAC) originated at the agricultu...

 

 

Davide Vaccari

Davide Vaccari Doge della Repubblica di GenovaDurata mandato14 novembre 1587 –14 novembre 1589 PredecessoreAmbrogio Di Negro SuccessoreBattista Negrone Dati generaliPrefisso onorificoSerenissimo doge Professionenotaio Il Serenissimo Davide Vaccari (Genova, 1518 – Genova, 1607) fu il 76º doge della Repubblica di Genova. Biografia La famiglia Vaccari - o anche citata in altri scritti come Vacca - doveva avere origini nel Chiavarese e lo stesso Davide Vaccari in alcune fo...

 

 

Человек прямоходящий

† Человек прямоходящий Научная классификация Домен:ЭукариотыЦарство:ЖивотныеПодцарство:ЭуметазоиБез ранга:Двусторонне-симметричныеБез ранга:ВторичноротыеТип:ХордовыеПодтип:ПозвоночныеИнфратип:ЧелюстноротыеНадкласс:ЧетвероногиеКлада:АмниотыКлада:Синапсиды�...

WWPW

Mainstream urban radio station in Bowdon–Atlanta, Georgia For the Burlington, North Carolina television station that held the call sign WRDG on channel 16 from 1982 to 1990, see WGPX-TV. For the radio station that had this callsign until 2024, see WRDG. This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: WWPW – news · newspaper...

 

 

Erik Hurtado

American soccer player Erik Hurtado Hurtado playing with the Vancouver Whitecaps FCPersonal informationFull name Erik HurtadoDate of birth (1990-11-15) November 15, 1990 (age 33)Place of birth Fredericksburg, Virginia, United StatesHeight 5 ft 10 in (1.78 m)Position(s) ForwardYouth career2007–2009 Westside MetrosCollege careerYears Team Apps (Gls)2009–2012 Santa Clara Broncos 77 (33)Senior career*Years Team Apps (Gls)2011–2012 Portland Timbers U23s 18 (14)2013–2018...

 

 

Siege of Abu al-Duhur Airbase

Syrian Civil War battle (2012-2015) Siege of Abu al-Duhur AirbasePart of the Syrian Civil WarMap showing the siegeDate23 September 2012 – 9 September 2015(2 years, 11 months, 2 weeks and 3 days)LocationAbu al-Duhur, Idlib Governorate, SyriaResult Rebel victory Rebels capture three villages[4][5] and the airbase[6]Belligerents Army of Conquest[1] Al-Nusra Front Ahrar ash-Sham[2] Jund al-Aqsa Ajnad ash-Sham Turkistan Islamic Party i...

约翰斯顿环礁

此條目可参照英語維基百科相應條目来扩充。 (2021年5月6日)若您熟悉来源语言和主题，请协助参考外语维基百科扩充条目。请勿直接提交机械翻译，也不要翻译不可靠、低品质内容。依版权协议，译文需在编辑摘要注明来源，或于讨论页顶部标记{{Translated page}}标签。 约翰斯顿环礁Kalama Atoll 美國本土外小島嶼 Johnston Atoll 旗幟颂歌：《星條旗》The Star-Spangled Banner約翰斯頓環礁�...

 

 

Church of St. Mary of the Spring (Istanbul)

Greek Orthodox Christian Church and Monastery in Istanbul, Turkey Church in Istanbul, TurkeyChurch of St. Mary of the SpringΖωοδόχος ΠηγήThe modern church viewed from northChurch of St. Mary of the SpringLocation in Istanbul41°00′24″N 28°54′57″E / 41.0066°N 28.9158°E / 41.0066; 28.9158LocationBalikli, IstanbulCountryTurkeyDenominationGreek OrthodoxHistoryFounded559-560Founder(s)JustinianDedicationTheotokos PegèCult(s) presentSaint MaryArchitect...

 

 

美国众议院

此條目需要补充更多来源。 (2021年7月4日)请协助補充多方面可靠来源以改善这篇条目，无法查证的内容可能會因為异议提出而被移除。致使用者：请搜索一下条目的标题（来源搜索：美国众议院 — 网页、新闻、书籍、学术、图像），以检查网络上是否存在该主题的更多可靠来源（判定指引）。 美國眾議院 United States House of Representatives第118届美国国会众议院徽章 众议院旗...

Battle of Tápióbicske

Battle of TápióbicskePart of the Hungarian Revolution of 1848The Battle of Tapiobicske by Mor ThanDate4 April 1849LocationAround and in Tápióbicske, HungaryResult Hungarian victoryBelligerents  Hungarian Revolutionary Army Polish Legion  Austrian Empire Kingdom of CroatiaCommanders and leaders  Artúr Görgei György Klapka János Damjanich Józef Wysocki  Josip JelačićDaniel RastićLeopold SternbergStrength Total: 22,419 *I. corps: 10,827*III. corps: 11,59...

 

 

Scott Report

Inquiry Arms report This article is part of a series aboutJohn Major Electoral history MP for Huntingdon 1990 budget Prime Minister of the United Kingdom Premiership First Ministry and Term 1990 leadership election Cabinet Citizen's Charter Charter Mark Cones Hotline Early 1990s recession Gulf War 1992 general election Second Ministry and Term Cabinet Black Wednesday National Lottery Further and Higher Education Act 1992 Grant-maintained schools Maastricht Treaty rebels Northern Ireland peace...

 

 

الهوا مالوش دوا (فيلم)

الهوا مالوش دوا الهوا مالوش دوا  ملصق الفيلم الصنف كوميدي تاريخ الصدور 20 مارس 1952 مدة العرض 105 دقيقة البلد  المملكة المصرية اللغة الأصلية العربية الطاقم المخرج يوسف معلوف الإنتاج أفلام هنري بركات قصة يوسف عيسى سيناريو وحوار أبو السعود الإبياري البطولة شاديةكمال الشنا...

Nuckolls County, Nebraska

County in Nebraska, United States County in NebraskaNuckolls CountyCountyNuckolls County Courthouse in NelsonLocation within the U.S. state of NebraskaNebraska's location within the U.S.Coordinates: 40°11′N 98°03′W / 40.18°N 98.05°W / 40.18; -98.05Country United StatesState NebraskaFounded1860 (founded)1871 (organized)Named forStephen Friel NuckollsSeatNelsonLargest citySuperiorArea • Total576 sq mi (1,490 km2) • ...

 

 

2018 Grand Prix Cycliste de Montréal

Cycling race Cycling race 2018 Grand Prix Cycliste de Montréal2018 UCI World Tour, race 34 of 37Race detailsDates9 September 2018Stages1Distance195.2 km (121.3 mi)Winning time5h 19' 27Results  Winner  Michael Matthews (AUS) (Team Sunweb)  Second  Sonny Colbrelli (ITA) (Bahrain–Merida)  Third  Greg Van Avermaet (BEL) (BMC Racing Team)← 2017 2019 → The 2018 Grand Prix Cycliste de Montréal was a road cycling one-day...

 

 

Parco Nord Milano

Parco Nord MilanoVeduta autunnale del Parco Nord UbicazioneStato Italia LocalitàMilanoBressoCinisello BalsamoCormanoCusano MilaninoNovate MilaneseSesto San Giovanni IndirizzoMunicipio 9 CaratteristicheTipoParco regionale, in parte urbano, in parte rinaturalizzato Superficie640 ettari Inaugurazioneanni settanta Gestoreun consorzio tra i comuni interessati e la provincia di Milano Aperturail parco non ha recinzioni Mappa di localizzazione Sito web Modifica dati su Wikidata · Manuale...

Sammy Fain

Samuel Feinberg redirects here. For the Russian composer and pianist, see Samuil Feinberg. Sammy FainBackground informationBirth nameSamuel E. FeinbergBorn(1902-06-17)June 17, 1902New York City, New York, United StatesDiedDecember 6, 1989(1989-12-06) (aged 87)Los Angeles, California, United StatesGenresPopular musicOccupation(s)ComposerVocalistMusicianInstrument(s)PianoFormerly ofIrving Kahal, Lew Brown, Artie DunnMusical artist Sammy Fain (born Samuel E. Feinberg; June 17, 1902 – Dece...

 

 

Lebanese Navy

Maritime warfare branch of Lebanon's military Lebanese Navyالقوات البحرية اللبنانيةFlag of the Lebanese NavyFounded1950Country LebanonTypeNavySize1,700 personnel 64 Watercraft Interceptors: 24 Patrol: 29 Gun Boats: 8 Landing Crafts: 2 Scientific Boat: 1Part ofLebanese Armed ForcesHeadquartersBeirut Naval BaseEngagements 1958 Lebanon crisis The War over Water Six-Day War Lebanese Civil War Battle of the Hotels Hundred Days' War Multinational Force in Lebanon 198...