George Ciprian Necula es un informático rumano , ingeniero de Google y exprofesor de la Universidad de California, Berkeley, que investiga en el área de los lenguajes de programación y la ingeniería de software , con un enfoque particular en la verificación de software y los métodos formales . Es mejor conocido por su Ph.D. trabajo de tesis que primero describe el código de prueba , [1] un trabajo que recibió el premio SIGPLAN Most Influential POPL Paper de 2007 . [2]
Originario de Baia Mare , Rumania , [3] Necula asistió a la Universidad Politécnica de Bucarest antes de venir a la Universidad Carnegie Mellon en los Estados Unidos para completar su doctorado. bajo el investigador de lenguajes de programación Peter Lee. Su doctorado La primera tesis que describe el código portador de prueba fue influyente como mecanismo para permitir que el código de máquina no confiable se ejecutara de manera segura sin sobrecarga de rendimiento. Se incorporó como profesor en 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 , incluido C Intermediate Language (CIL), CCured [1] y Adjunto [2] .
C Intermediate Language (CIL) es un subconjunto simplificado del lenguaje de programación C , así como un conjunto de herramientas para transformar programas C en ese lenguaje. [4] [5] [6] Varias otras herramientas usan CIL como una forma de tener acceso a un árbol de sintaxis abstracta de C. Uno de estos programas es Frama-C (Marco para analizar programas C).
Necula es miembro de la Fundación Okawa y de la Fundación Alfred P. Sloan (ver Sloan Fellowship ). Recibió el Premio Grace Murray Hopper en 2001, [7] el Premio CARRERA de la Fundación Nacional de Ciencias en 1999, [8] y el Premio del Salón de la Fama ACM SIGOPS en 2006. [9]