Formal, technical expert in programming language design.