PhD @ Columbia University, NYC Assembly calculus ; complexity theory ; total complexity ; cryptography ; language
assemblies. Code for NEMO, and Assembly Calculus