== ==

[[https://github.com/gergo-|{{icon>github?lg|GitHub Page}}]] [[https://twitter.com/princess_gergo|{{icon>twitter?lg|Twitter Page}}]] [[http://www.complang.tuwien.ac.at/gergo|{{icon>globe?lg|Personal Page}}]] [[http://gallium.inria.fr|{{icon>university?lg|Employment Page}}]] == Gergö Barany == //Prototype language designer of **casm**, compiler geek, programming language researcher. // == == {{tag>member gbarany}} == About == 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.