Toniann Pitassi - Toniann Pitassi

Toniann Pitassi
MilliyetAmerikan, Kanada
gidilen okulToronto Üniversitesi
Eş (ler)Richard Zemel
Bilimsel kariyer
AlanlarMatematik
Bilgisayar Bilimi
KurumlarToronto Üniversitesi
Doktora danışmanıStephen Cook

Toniann Pitassi Kanadalı ve Amerikalı matematikçi ve bilgisayar uzmanı konusunda uzmanlaşmış hesaplama karmaşıklığı teorisi.

Akademik kariyer

Yerli Pittsburgh Pitassi, lisans ve yüksek lisans derecelerini aldı Pensilvanya Devlet Üniversitesi taşınmadan önce Toronto Üniversitesi doktora çalışmaları için; doktorasını kazandı. 1992'de Toronto'dan gözetiminde Stephen Cook. Doktora sonrası çalışmalardan sonra California Üniversitesi, San Diego ve fakülte pozisyonları Pittsburgh Üniversitesi ve Arizona Üniversitesi, 2001'de Toronto'ya döndü ve şu anda bir profesör. Toronto Üniversitesi Bilgisayar Bilimleri Bölümü ve Toronto Üniversitesi Matematik Bölümü.[1][2]

Davetli konuşmacıydı Uluslararası Matematikçiler Kongresi 1998'de Berlin'de.[3][4] 2012'nin program başkanıydı Bilgisayar Teorisi Sempozyumu.[5] Eylül-Aralık 2017 arasında, o, İleri Araştırmalar Enstitüsü.[6]

Araştırma

Pitassi'nin araştırması büyük ölçüde şunlara odaklanmıştır: kanıt karmaşıklığı bir dalı hesaplama karmaşıklığı teorisi arayan üst ve alt sınırlar uzunluklarında matematiksel kanıtlar nın-nin mantıksal önermeler çeşitli resmi ispat sistemleri içerisinde. Bu çalışmanın amacı, bu sınırları kullanmak zaman karmaşıklığı ispat bulma prosedürleri ve farklı ispat sistemlerinin göreceli güçlü yönleri.

Bu alanda yaptığı araştırma katkıları, üstel alt sınırları içerir. Serbest provalar of güvercin deliği ilkesi,[7] üstel alt sınırlar kesme düzlemi yöntemi türetilen önermelere uygulanır maksimum klik sorunu,[8] üstel alt sınırlar çözüm yoğun rasgele kanıtlar 3-tatmin edilebilirlik örnekler,[9] ve aynı yoğun rasgele örnekler için alt üst sınırlar Davis – Putnam algoritması.[10] Paul Beame ile birlikte kanıt karmaşıklığı üzerine bir anket yazdı.[11]

Tanıma

Pitassi seçildi ACM Üyesi 2018'de "hesaplama ve ispat karmaşıklığı alanlarında araştırma ve eğitime katkılar" için.[12]

Seçilmiş Yayınlar

  • Pitassi, Toniann; Beame, Paul; Impagliazzo, Russell (1993), "Güvercin deliği ilkesi için üstel alt sınırlar", Hesaplamalı Karmaşıklık, 3 (2): 97–140, doi:10.1007 / BF01200117, BAY  1233662, S2CID  1046674.
  • Beame, Paul; Pitassi, Toniann (1996), "Basitleştirilmiş ve geliştirilmiş çözünürlük alt sınırları", Bilgisayar Biliminin Temelleri 37. Yıllık Sempozyum Bildirileri, s. 274–282, doi:10.1109 / SFCS.1996.548486, BAY  1450625, S2CID  14341656.
  • Bonet, Maria; Pitassi, Toniann; Raz, Ran (1997), "Küçük katsayılarla uçak provaları için alt sınırlar", Journal of Symbolic Logic, 62 (3): 708–728, doi:10.2307/2275569, JSTOR  2275569, BAY  1472120.
  • Beame, Paul; Pitassi, Toniann (1998), "Önerme ispat karmaşıklığı: geçmiş, şimdi ve gelecek", Avrupa Teorik Bilgisayar Bilimleri Derneği Bülteni (65): 66–89, BAY  1650939. Yeniden basıldı Teorik Bilgisayar Bilimlerinde Güncel Eğilimler, Dünya Bilimsel, 2001, BAY1886033.
  • Beame, Paul; Karp, Richard; Pitassi, Toniann; Saks, Michael (1998), "Rastgele k-CNF formülleri için tatmin edilemezlik kanıtlarının karmaşıklığı üzerine", 30. ACM Bilişim Teorisi Sempozyumu Bildirileri, s. 561–571, CiteSeerX  10.1.1.39.213, doi:10.1145/276698.276870, BAY  1715604, S2CID  10262912.
  • Beame, Paul; Karp, Richard; Pitassi, Toniann; Saks, Michael (2002), "Çözümleme ve Davis-Putnam prosedürlerinin etkinliği", Bilgi İşlem Üzerine SIAM Dergisi, 31 (4): 1048–1075, doi:10.1137 / S0097539700369156, BAY  1919956.
  • Dwork, Cynthia; Naor, Moni; Pitassi, Toniann; Rothblum, Guy N. (2010). "Sürekli gözlem altında farklı mahremiyet". Bilgisayar Kuramı Üzerine Kırk İkinci ACM Sempozyumu Bildirileri: 715–724. doi:10.1145/1806689.1806787. ISBN  9781450300506. S2CID  1522154.
  • Dwork, Cynthia; Hardt, Moritz; Pitassi, Toniann; Reingold, Ömer; Zemel Richard (2012). "Farkındalık Yoluyla Adalet". 3. Teorik Bilgisayar Bilimlerinde Yenilikler Konferansı Bildirileri. ITCS '12. New York, NY, ABD: ACM: 214–226. arXiv:1104.3913. doi:10.1145/2090236.2090255. ISBN  9781450311151. S2CID  13496699.
  • Dwork, Cynthia; Feldman, Vitaly; Hardt, Moritz; Pitassi, Toniann; Reingold, Ömer; Roth, Aaron (2015-08-07). "Yeniden kullanılabilir uzatma: Uyarlanabilir veri analizinde geçerliliği koruma". Bilim. 349 (6248): 636–638. Bibcode:2015 Sci ... 349..636D. doi:10.1126 / science.aaa9375. ISSN  0036-8075. PMID  26250683.

Referanslar

  1. ^ "Toniann Pitassi". Toronto Üniversitesi. Alındı 2017-12-31.
  2. ^ Toniann Pitassi -de Matematik Şecere Projesi
  3. ^ "ICM Genel Kurulu ve Davetli Konuşmacılar". Uluslararası Matematik Birliği. Alındı 2017-12-31.
  4. ^ Pitassi, Toniann (1998). "Çözülemeyen denklem sistemleri ve kanıt karmaşıklığı". Doc. Matematik. (Bielefeld) Ekstra Cilt. ICM Berlin, 1998, cilt. III. s. 451–458.
  5. ^ "STOC 2012 - 44. ACM Bilişim Teorisi Sempozyumu". New York Üniversitesi, Bilgisayar Bilimleri Bölümü. Alındı 2017-12-31.
  6. ^ "Toniann Pitassi". İleri Araştırmalar Enstitüsü. Alındı 2017-12-31.
  7. ^ Pitassi, Beame ve Impagliazzo (1993).
  8. ^ Bonet, Pitassi ve Raz (1997).
  9. ^ Beame ve Pitassi (1996); Beame vd. (2002).
  10. ^ Beame vd. (1998); Beame vd. (2002).
  11. ^ Beame ve Pitassi (1998).
  12. ^ 2018 ACM Üyeleri, Dijital Çağın Temelini Oluşturan Önemli Başarılar İçin Onurlandırıldı, Bilgi İşlem Makineleri Derneği 5 Aralık 2018

Dış bağlantılar