George Necula

George Ciprian Necula es un científico informático rumano , ingeniero en Google y ex profesor de la Universidad de California, Berkeley, que investiga en el área de lenguajes de programación e ingeniería de software , con especial énfasis en la verificación de software y los métodos formales . Es conocido principalmente por su tesis doctoral, en la que describió por primera vez el código portador de pruebas , ^{[ 1 ]} un trabajo que recibió el premio SIGPLAN al artículo POPL más influyente de 2007. ^{[ 2 ]}

Originario de Baia Mare , Rumania , ^{[ 3 ]} Necula obtuvo una licenciatura en Ciencias de la Computación (1992) de la Universidad Politécnica de Bucarest . Luego se trasladó a la Universidad Carnegie Mellon en Estados Unidos, donde completó su maestría en Ciencias de la Computación (1995) y su doctorado en Ciencias de la Computación (1998) bajo la dirección del investigador de lenguajes de programación Peter Lee . Su trabajo de doctorado introdujo el código con prueba de autenticidad , que fue influyente como mecanismo para permitir que el código máquina no confiable se ejecutara de forma segura sin sobrecarga de rendimiento. Se unió como profesor a la Universidad de California, Berkeley en 1998.

Más recientemente, el trabajo de Necula se ha centrado en herramientas de análisis, verificación y transformación de código abierto para C , incluyendo el lenguaje intermedio de C (CIL), CCured.y el diputado.

Necula es miembro de la Fundación Okawa y de la Fundación Alfred P. Sloan (véase Beca Sloan ). Recibió el Premio Grace Murray Hopper en 2001, ^{[ 7 ]} el Premio CAREER de la Fundación Nacional de Ciencias en 1999, ^{[ 8 ]} y el Premio del Salón de la Fama de ACM SIGOPS en 2006. ^{[ 9 ]} En 2016, se convirtió en Miembro Distinguido de ACM . ^{[ 10 ]}

• Página principal de George Necula en UC Berkeley
• Página de George Necula como profesor en la UC Berkeley. Archivada el 15 de junio de 2010 en la Wayback Machine.
• CIL en GitHub