George Necula

George Ciprian Necula is a Romanian computer scientist, engineer at Google, and former professor at the University of California, Berkeley who does research in the area of programming languages and software engineering, with a particular focus on software verification and formal methods.

[2] Originally from Baia Mare, Romania,[3] Necula received a BS in Computer Science (1992) from the Polytechnic University of Bucharest.

He then came to Carnegie Mellon University in the United States, completing his MS in Computer Science (1995) and PhD in Computer Science (1998) under programming-languages researcher Peter Lee.

More recently, Necula's work has focused on open-source analysis, verification, and transformation tools for C, including the C Intermediate Language (CIL), CCured [1], and Deputy [2].

[4][5][6] Several other tools use CIL as a way to have access to a C abstract syntax tree.