Gergö Barany is a postdoctoral researcher at Inria Paris, in the Gallium research team. He works on the CompCert verified compiler and compiler optimizations in general. Previously he was a postdoc at CEA LIST, working on information flow analysis in the Frama-C source-code analysis framework. He holds a PhD at the Institute of Computer Languages at Vienna University of Technology, where he was a research assistant.