จอร์จ เนคูล่า
เนคูล่าที่เบิร์กลีย์ในปี 2010
อัลมา มัธยฐาน	มหาวิทยาลัยโพลีเทคนิคแห่งบูคาเรสต์
เป็นที่รู้จักในด้าน	รหัสการพิสูจน์
เส้นทางอาชีพด้านวิทยาศาสตร์
ฟิลด์	วิทยาการคอมพิวเตอร์
สถาบันต่างๆ	Google
อาจารย์ที่ปรึกษาปริญญาเอก	ปีเตอร์ ลี

George Ciprian Neculaเป็นนักวิทยาศาสตร์คอมพิวเตอร์ ชาวโรมาเนีย วิศวกรที่Googleและอดีตศาสตราจารย์ที่มหาวิทยาลัยแคลิฟอร์เนีย เบิร์กลีย์ผู้ทำการวิจัยในด้านภาษาโปรแกรมและวิศวกรรมซอฟต์แวร์โดยเน้นเป็นพิเศษที่การตรวจสอบซอฟต์แวร์และวิธีการเชิงรูปธรรมเขาเป็นที่รู้จักดีที่สุดจากงานวิทยานิพนธ์ปริญญาเอกของเขาที่อธิบายรหัสการพิสูจน์เป็นครั้งแรก[ 1 ^{]ซึ่งได้}รับรางวัล SIGPLAN Most Influential POPL Paper Award ประจำปี 2007 ^{[ 2 ]}

เดิมทีมาจากเมือง Baia Mareประเทศ^{โรมาเนีย [} 3 ] ^{Necula ได้}รับปริญญาตรีวิทยาศาสตรบัณฑิต (1992) จากมหาวิทยาลัยโพลีเทคนิคแห่งบูคาเรสต์จากนั้นเขาเดินทางมายังมหาวิทยาลัย Carnegie Mellonในสหรัฐอเมริกา และสำเร็จการศึกษาระดับปริญญาโทวิทยาศาสตรมหาบัณฑิต (1995) และปริญญาเอกวิทยาศาสตรมหาบัณฑิต (1998) ภายใต้การดูแล ของ Peter Lee นักวิจัยด้านภาษาโปรแกรม งานวิจัย ระดับปริญญาเอกของเขานำเสนอโค้ดที่พิสูจน์ได้ซึ่งมีอิทธิพลในฐานะกลไกที่ช่วยให้โค้ดเครื่องที่ไม่น่าเชื่อถือสามารถทำงานได้อย่างปลอดภัยโดยไม่กระทบต่อประสิทธิภาพ เขาร่วมงานเป็นอาจารย์ประจำที่มหาวิทยาลัยแคลิฟอร์เนีย เบิร์กลีย์ในปี 1998

เมื่อไม่นานมานี้ งานของ Necula มุ่งเน้นไปที่เครื่องมือวิเคราะห์ ตรวจสอบ และแปลงข้อมูลแบบโอเพนซอร์สสำหรับCรวมถึง C Intermediate Language (CIL), CCured [1]และ Deputy [2 ]

ภาษา C ระดับกลาง (CIL) เป็นส่วนย่อยที่เรียบง่ายของภาษาการเขียนโปรแกรม Cรวมถึงชุดเครื่องมือสำหรับการแปลงโปรแกรม C ให้เป็นภาษานั้น^{[ 4 ] [ 5 ] [ 6 ]} เครื่องมืออื่นๆ อีกหลายอย่างใช้ CIL เป็นวิธีการเข้าถึงโครงสร้างต้นไม้ไวยากรณ์นามธรรมของ C หนึ่งในโปรแกรมเหล่านี้คือFrama-C (Framework to Analyze C programs)

เนคูลาเป็นสมาชิกของมูลนิธิโอคาวาและมูลนิธิอัลเฟรด พี. สโลน (ดูทุนสโลน ) เขาได้รับรางวัลเกรซ เมอร์เรย์ ฮอปเปอร์ในปี 2544 ^{[ 7 ]}รางวัล National Science Foundation CAREER ในปี 2542 ^{[ 8 ]}และรางวัล ACM SIGOPS Hall of Fame ในปี 2549 ^{[ 9 ]}ในปี 2559 เขากลายเป็น สมาชิกดีเด่น ของACM ^{[ 10 ]}

• โฮมเพจของ George Necula ที่มหาวิทยาลัยแคลิฟอร์เนีย เบิร์กลีย์
• หน้าเว็บของ George Necula ที่มหาวิทยาลัย UC Berkeley ถูกเก็บถาวรเมื่อวันที่ 15 มิถุนายน 2010 ในWayback Machine
• CILบนGitHub