Gergö Barany

Prototype language designer of casm, compiler geek, programming language researcher.

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.

Copyright © 2014-2019 CASM Organization.
All rights reserved.