GeertB

421 karma · joined October 31, 2014

Compiler and Database engineer. Polyglot. Love formal methods, floating-point, boundary between hardware and software.