Gabor Greif

Gabor was born in 1968 and is a mathematician who earns his living with writing control software for telecommunications gear. He is actively pushing Haskell into previously unpopulated niches at his work domain, seeking viably safe solutions. Several GHC improvements were kickstarted by him, such as cross-compilation and the module for propositional type equality.

Talks I've Given