Mathematician John Conway once boasted that one of his predecessors took six years (!) to enumerate all 54 knots of a certain type, but that his own powerful notation "made this just one afternoon's work." How did Conway accomplish this feat? and ... Read more
Say you had two pieces of code that looked different, but you strongly suspected they were "equal." Maybe you have two if statements and you're a compiler who wants to optimize code by exchanging one for the other. How would you prove that they we... Read more
Claim your profile today and start building your speaker history.
Katherine likes to study weird interdisciplinary things and powerful notations.