Kharizmi helped solidify the concept of algorithms in mathematics and popularized algebra and the use of the zero.

Quantum computers powerful enough to break widely used public-key encryption aren’t here yet, but migration won’t be as simple as swapping in a new tool.

My research has largely been in the interaction of Algorithms and Programming Languages, much of it in the area of parallel computing. Here are some of the more recent topics I have worked on with my ...