นีล ดี. โจนส์
นีล ดีตัน โจนส์ | |
|---|---|
| เกิด | 22 มีนาคม 2484 ( 1941-03-22 ) เซ็นทราเลีย รัฐอิลลินอยส์สหรัฐอเมริกา |
| เสียชีวิต | 27 มีนาคม 2566 (2023-03-27) (อายุ 82 ปี) |
| สัญชาติ | ภาษาเดนมาร์ก (ตั้งแต่ปี 1991) |
| อัลมา มัธยฐาน | มหาวิทยาลัยเวสเทิร์นออนแทรีโอ |
| เป็นที่รู้จัก ในด้าน | การประเมินบางส่วนการวิเคราะห์การไหลของควบคุมการยุติการเปลี่ยนแปลงขนาด |
| รางวัล | เครื่องราชอิสริยาภรณ์แดนเนโบรก (ปี 1998); รางวัลความสำเร็จด้านภาษาโปรแกรมมิ่ง SIGPLAN (ปี 2014) |
| เส้นทางอาชีพด้านวิทยาศาสตร์ | |
| ฟิลด์ | วิทยาการคอมพิวเตอร์ |
| สถาบันต่างๆ | มหาวิทยาลัยโคเปนเฮเกนมหาวิทยาลัยอาร์ฮุสมหาวิทยาลัยแคนซัส มหาวิทยาลัยเพนซิลเวเนียสเตทมหาวิทยาลัยเวสเทิร์นออนแทรีโอ |
| อาร์โต ซาโลมา | |
Neil Deaton Jones (22 มีนาคม พ.ศ. 2484 Centralia, อิลลินอยส์ , สหรัฐอเมริกา - 27 มีนาคม พ.ศ. 2566, Rungsted , เดนมาร์ก ) เป็นนักวิทยาศาสตร์คอมพิวเตอร์ ชาว อเมริกัน เขาเป็นศาสตราจารย์กิตติคุณสาขาวิทยาการคอมพิวเตอร์ที่มหาวิทยาลัยโคเปนเฮเกน
ผลงานของเขามีทั้งภาษาโปรแกรมและทฤษฎีการคำนวณ ในด้านภาษาโปรแกรม เขาเป็นที่รู้จักเป็นพิเศษจากผลงานเกี่ยวกับการประเมินบางส่วนและงานบุกเบิกในด้านการวิเคราะห์การไหลของข้อมูลการวิเคราะห์การไหลของการควบคุม[ 1 ]และการวิเคราะห์การสิ้นสุด[ 2 ]ในด้านทฤษฎีการคำนวณ เขาเป็นหนึ่งในผู้บุกเบิกการศึกษาการลดพื้นที่ลอการิทึมและความสมบูรณ์แบบ P [ 3 ]
นีล ดี. โจนส์ เป็นอัศวินแห่งเครื่องราชอิสริยาภรณ์แดนเนโบรก (ตั้งแต่ปี 1998) และยังเป็นสมาชิกของสถาบันวิทยาศาสตร์แห่งยุโรป (ตั้งแต่ปี 1999) เขาได้รับรางวัลเฟลโลว์ของสมาคมเครื่องจักรคำนวณ ในปี 1998 จาก "ผลงานที่โดดเด่นในการคอมไพล์ที่มุ่งเน้นความหมาย โดยเฉพาะการประเมินบางส่วน และทฤษฎีการคำนวณ แบบจำลองเชิงรูปธรรม และการนำไปใช้ในทางปฏิบัติ" [ 4 ]
ลิงก์ภายนอก
- หน้าหลัก

- ข้อมูลชีวประวัติเก็บถาวรเมื่อวันที่ 1 มีนาคม 2013 ที่Wayback Machine
ผลงานตีพิมพ์ที่คัดเลือก
- Jones, Neil D.; Laaser, William T. (1974). "ปัญหาที่สมบูรณ์สำหรับเวลาพหุนามเชิงกำหนด". รายงานการประชุมสัมมนาประจำปีครั้งที่ 6 ของ ACM ว่าด้วยทฤษฎีการคำนวณ - STOC '74 . หน้า40–46 . doi : 10.1145/800119.803883 . S2CID 12251817 .
- Jones, Neil D. (1981), "การวิเคราะห์การไหลของนิพจน์แลมบ์ดา", Automata, Languages and Programming , Lecture Notes in Computer Science, vol. 115, pp. 114–128 , doi : 10.1007/3-540-10843-2_10 , ISBN 978-3-540-10843-6
- Jones, Neil D.; Gomard, Carsten K.; Sestoft, Peter (1993). การประเมินผลบางส่วนและการสร้างโปรแกรมอัตโนมัติ . สำนักพิมพ์ MIT . ISBN 9780262100649.สามารถอ่านบทความฉบับเต็มได้ทางออนไลน์
- Jones, Neil D. (1995). "ความสามารถในการคำนวณและความซับซ้อนจากมุมมองของการเขียนโปรแกรม (MFPS Draft preview)" . Electronic Notes in Theoretical Computer Science . 1 : 313– 333. doi : 10.1016/S1571-0661(04)80019-7 .
- โจนส์, นีล ดี. (23 มกราคม 1997). ความสามารถในการคำนวณและความซับซ้อน: จากมุมมองของการเขียนโปรแกรม . สำนักพิมพ์ MIT . ISBN 9780262100649.ข้อความออนไลน์
- Lee, Chin Soon; Jones, Neil D.; Ben-Amram, Amir M. (2001). "หลักการเปลี่ยนแปลงขนาดสำหรับการยุติโปรแกรม". ACM SIGPLAN Notices . 36 (3): 81– 92. doi : 10.1145/373243.360210 .