An artificial intelligence researcher who believes that solutions should be elegant, clear and provably correct. Compare scruffy.