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