bhumikamittal.in Software Engineer at Amuse Labs. Research interests: cryptography, complexity theory, quantum computing, and formal logic.