Larry Stockmeyer - Larry Stockmeyer
Larry Stockmeyer | |
|---|---|
| Doğum | 1948 |
| Öldü | 31 Temmuz 2004 |
| Milliyet | Amerikan |
| Meslek | bilgisayar uzmanı |
| Bilinen | Alanında öncüler hesaplama karmaşıklığı teorisi |
Larry Joseph Stockmeyer (1948 - 31 Temmuz 2004) Amerikalı bilgisayar uzmanı. Alanının öncülerinden biriydi. hesaplama karmaşıklığı teorisi ve o da alanında çalıştı dağıtılmış hesaplama. O öldü pankreas kanseri.[1]
Kariyer
- 1972: Matematikte BSc, Massachusetts Teknoloji Enstitüsü.
- 1972: Elektrik mühendisliğinde MSc, Massachusetts Institute of Technology.
- 1974: Bilgisayar bilimlerinde doktora, Massachusetts Institute of Technology.
- Süpervizör: Albert R. Meyer.
- 1974–1982: IBM Araştırması, Thomas J. Watson Araştırma Merkezi, Yorktown Heights, NY.
- 1982 – Kasım 2003: IBM Research, Almaden Araştırma Merkezi, San Jose, CA.
- Ekim 2002–2004: Kaliforniya Üniversitesi, Santa Cruz, Bilgisayar Bilimleri Bölümü - Araştırma Görevlisi.
Tanıma
- 1996: Fellow of the Bilgi İşlem Makineleri Derneği: "Hesaplama karmaşıklığı teorisine, bu alanın gidişatını önemli ölçüde etkileyen birkaç temel katkı için."[2]
- 2007: Edsger W. Dijkstra Dağıtık Hesaplamada Ödülü kağıt için Dwork, Lynch ve Stockmeyer (1988).[3][4]
Önemli yayınlar
- Meyer ve Stockmeyer (1972) - bu çalışma, polinom hiyerarşi.[5][6]
- Stockmeyer (1974) - "Bilgisayar bilimindeki en dikkat çekici doktora tezlerinden biri".[7]
- Chandra ve Stockmeyer (1976) - bu çalışma tanıtıldı alternatif Turing makineleri.[8]
- Dwork, Lynch ve Stockmeyer (1988) - bu kağıt, Dijkstra Ödülü 2007 yılında.[3]
Notlar
- ^ "Anısına". çevrimiçi akımlar. UC Santa Cruz. 9 Ağustos 2004. Arşivlenen orijinal 30 Eylül 2015. Alındı 6 Haziran 2016.
- ^ ACM: Fellows Ödülü / Larry Stockmeyer Arşivlendi 2007-12-14 Wayback Makinesi.
- ^ a b PODC İnternet sitesi: Dijkstra Ödülü 2007.
- ^ Bortnikov (2007).
- ^ Fortnow (2005).
- ^ Rajsbaum (2004).
- ^ STOC 2005 programı.
- ^ Chandra, Ashok K .; Stockmeyer, Larry J. (1976). "Değişim". Proc. 17. IEEE Symp. Bilgisayar Biliminin Temelleri Üzerine. Houston, Teksas. s. 98–108. doi:10.1109 / SFCS.1976.4.
Referanslar
- Bortnikov, Edward (2007), "DISC '07'nin Gözden Geçirilmesi", ACM SIGACT Haberleri, 38 (4): 49–53, doi:10.1145/1345189.1386170, ISSN 0163-5700.
- Dwork, Cynthia; Lynch, Nancy; Stockmeyer, Larry (1988), "Kısmi senkronizasyon varlığında fikir birliği", ACM Dergisi, 35 (2): 288–323, CiteSeerX 10.1.1.13.3423, doi:10.1145/42282.42283, S2CID 17007235.
- Fortnow, Lance (2005), "NP'nin Ötesinde: Larry Stockmeyer'in eseri ve mirası" (PDF), Proc. 37th Annual ACM Symposium on Theory of Computing (STOC, Baltimore, MD, USA, 2005), s. 120–127, doi:10.1145/1060590.1060609, ISBN 978-1-58113-960-0, S2CID 16558679.
- Meyer, Albert R.; Stockmeyer, Larry J. (1972), "Kareleme ile düzenli ifadelerin denklik problemi üstel boşluk gerektirir", Proc. Anahtarlama ve Otomata Teorisi 13. Yıllık Sempozyumu, s. 125–129, doi:10.1109 / SWAT.1972.29.
- Rajsbaum, Sergio (2004), "Larry Stockmeyer: 1948–2004", ACM SIGACT Haberleri, 35 (4): 39, doi:10.1145/1054916.1054930, ISSN 0163-5700, S2CID 26255529.
- Stockmeyer, Larry J. (1974), Otomata Teorisi ve Mantıkta Karar Problemlerinin Karmaşıklığı (Tez), Massachusetts Institute of Technology, hdl:1721.1/15540. Doktora tezi.
- "Larry Stockmeyer". ISI Web of Knowledge, çok alıntılanan araştırmacılar.[ölü bağlantı ]
- "Anısına - Larry Stockmeyer". UC Santa Cruz Akımları Çevrimiçi. 9 Ağustos 2004.
- "İdari Mesaj: Larry Stockmeyer'in Geçişi". UC Santa Cruz. 5 Ağustos 2004. Arşivlenen orijinal 2008-05-28 tarihinde. Alındı 2009-02-08.
- "Larry Joseph Stockmeyer". Matematik Şecere Projesi.
- "STOC 2005 konferans programı" (PDF). 'Larry Stockmeyer Anma' (21 Mayıs 2005) programını içerir.
- Chandra, Ashok K .; Stockmeyer, Larry J. (1976). "Değişim". Proc. 17. IEEE Symp. Bilgisayar Biliminin Temelleri Üzerine. Houston, Teksas. s. 98–108. doi:10.1109 / SFCS.1976.4.
Dış bağlantılar
- Larry Stockmeyer'in Ana Sayfası.
- Larry J. Stockmeyer -de DBLP Kaynakça Sunucusu
| P ≟ NP | Bir ile ilgili bu biyografik makale bilgisayar uzmanı bir Taslak. Wikipedia'ya şu yolla yardım edebilirsiniz: genişletmek. |