เบนจามิน อี. รอสส์แมนเป็นนักคณิตศาสตร์และนักวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎีชาวอเมริกัน เชี่ยวชาญด้านทฤษฎีความซับซ้อนของการคำนวณ^{[ 1 ]}ปัจจุบันเขาเป็นรองศาสตราจารย์ด้านวิทยาศาสตร์คอมพิวเตอร์และคณิตศาสตร์ที่มหาวิทยาลัยดุ๊ก

เขาสำเร็จการศึกษาจากมหาวิทยาลัยเพนซิลเวเนียด้วยปริญญาตรีในปี 2001 และปริญญาโทในปี 2002 ^{[ 2 ]}เขาได้รับปริญญาเอกในปี 2011 โดยมีอาจารย์ที่ปรึกษาคือMadhu SudanจากMITด้วยวิทยานิพนธ์เรื่องAverage-Case Complexity of Detecting Cliques [ ^{3 ] [ 4 ] ตั้งแต่}ปี 2010 ถึง 2013 Rossman เป็นนักวิจัยหลังปริญญาเอกที่สถาบันเทคโนโลยีโตเกียวตั้งแต่ปี 2013 ถึง 2016 เขาเป็นผู้ช่วยศาสตราจารย์ในโครงการKawarabayashi Large Graph Project ของสถาบันสารสนเทศแห่งชาติสำหรับปีการศึกษา 2014–2015 เขาเป็น Simons-Berkeley Research Fellow ที่Simons Institute for the Theory of Computingเขาเป็นผู้ช่วยศาสตราจารย์ในภาควิชาคณิตศาสตร์และวิทยาการคอมพิวเตอร์ของมหาวิทยาลัยโตรอนโตจนถึงต้นปี 2019 ก่อนที่จะเข้าร่วมมหาวิทยาลัย Duke ^{[ 2 ]}ในฤดูใบไม้ร่วงปี 2018 เขาเป็นนักวิทยาศาสตร์รับเชิญที่สถาบัน Simons สำหรับทฤษฎีการคำนวณ^{[ 5 ]}

งานวิจัยของเขามุ่งที่จะหาปริมาณทรัพยากรขั้นต่ำที่จำเป็นในการแก้ปัญหาพื้นฐานในแบบจำลองเชิงผสม เช่นวงจรบูลีน เบนได้สร้างขอบเขตล่างที่สำคัญเกี่ยวกับ ความซับซ้อนของการตรวจจับคลิกและการกำหนดการเชื่อมต่อในกราฟสุ่มโดยใช้เทคนิคสร้างสรรค์ที่อิงตามตรรกะและวิธีการเชิงความน่าจะ เป็น ผลลัพธ์ที่โดดเด่นอื่นๆ ของเขารวมถึง ทฤษฎีบทลำดับชั้นขนาดและความลึกสำหรับ วงจร ที่มีความลึกจำกัดซึ่งเป็นการตอบคำถามที่ค้างคามานาน^{[ 6 ]}

Rossman เป็นนักวิจัย Sloanในปีการศึกษา 2017–2018 เขาได้รับรางวัล Aisenstadtในปี 2018 ^{[ 6 ]}เขาได้รับเชิญให้เป็นวิทยากรในการประชุมนานาชาติของนักคณิตศาสตร์ในปี 2018 ที่ริโอเดจาเนโร^{[ 7 ]}

• Gurevich, Yuri ; Rossman, Benjamin; Schulte, Wolfram (2005). "สาระสำคัญเชิงความหมายของ AsmL". วิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎี 343 ( 3): 370– 412. doi : 10.1016/j.tcs.2005.06.017 .
• Rossman, B. (2005). "ประเภทเชิงบวกเชิงการดำรงอยู่และการรักษาไว้ภายใต้โฮโมมอร์ฟิซึม" การประชุมวิชาการ ประจำปีครั้งที่ 20 ของ IEEE ว่าด้วยตรรกศาสตร์ในวิทยาการคอมพิวเตอร์ (LICS' 05)หน้า467–476 . doi : 10.1109/LICS.2005.16 . ISBN  0-7695-2266-1. S2CID 18553513 . 
• Demaine, Erik D. ; Mozes, Shay; Rossman, Benjamin; Weimann, Oren (2007). "อัลกอริทึมการแยกส่วนที่เหมาะสมที่สุดสำหรับระยะทางแก้ไขของต้นไม้" Automata, Languages ​​and Programming . Lecture Notes in Computer Science. Vol.  4596. pp. 146– 157. doi : 10.1007/978-3-540-73420-8_15 . ISBN  978-3-540-73419-2.
• Blass, Andreas ; Gurevich, Yuri; Rosenzweig, Dean; Rossman, Benjamin (2007). "อัลกอริทึมแบบขั้นตอนเล็กเชิงโต้ตอบ II: เครื่องสถานะนามธรรมและทฤษฎีบทลักษณะเฉพาะ" วิธีการเชิงตรรกะในวิทยาศาสตร์คอมพิวเตอร์ 3 ( 4). arXiv : 0707.3789 . doi : 10.2168/LMCS-3(4:4)2007 . S2CID 99659 . 
• Rossman, Benjamin (2008). "ทฤษฎีบทการรักษาโฮโมมอร์ฟิซึม". Journal of the ACM . 55 (3): 1– 53. doi : 10.1145/1379759.1379763 . S2CID 306577 . 
• Rossman, Benjamin (2008). "เกี่ยวกับความซับซ้อนของ k-clique ที่มีความลึกคงที่". รายงานการประชุมประจำปีครั้งที่สี่สิบของACM Symposium on Theory of Computing - STOC 08.หน้า721–730 . doi : 10.1145/1374376.1374480 . ISBN  9781605580470S2CID 9362397​​ 
• Demaine, Erik D.; Mozes, Shay; Rossman, Benjamin; Weimann, Oren (2009). "อัลกอริทึมการแยกส่วนที่เหมาะสมที่สุดสำหรับระยะทางแก้ไขต้นไม้" ACM Transactions on Algorithms . 6 : 1– 19. arXiv : cs/0604037 . doi : 10.1145/1644015.1644017 . S2CID 7878119 . 
• Kopparty, Swastik; Rossman, Benjamin (2011). "เลขชี้กำลังการครอบงำโฮโมมอร์ฟิซึม" European Journal of Combinatorics . 32 (7): 1097– 1114. arXiv : 1004.2485 . doi : 10.1016/j.ejc.2011.03.009 . S2CID 6624366 . 
• Rossman, Benjamin; Servedio, Rocco A.; Tan, Li-Yang (2015). "ทฤษฎีบทลำดับชั้นความลึกกรณีเฉลี่ยสำหรับวงจรบูลีน". การประชุมวิชาการประจำปีครั้งที่ 56 ของ IEEE ว่าด้วยพื้นฐานของวิทยาศาสตร์คอมพิวเตอร์ปี 2015.หน้า1030–1048 . arXiv : 1504.03398 . doi : 10.1109/FOCS.2015.67 . ISBN  978-1-4673-8191-8. S2CID 7722713 . 

• "ขอบเขตล่างสำหรับการสมมาตรของกราฟย่อย – เบนจามิน รอสส์แมน – ICM2018"เว็บไซต์ Rio ICM2018 = YouTube
• "เวลาพหุนามไร้ทางเลือก - เบน รอสส์แมน" YouTubeสถาบันเพื่อการศึกษาขั้นสูง