Research area: Applied MathematicsBio: Pronouns: he/him/hisResearch interests: Coding Theory, Complexity Theory, Automated Theorem ProvingRole: Graduate Student