Software engineer (comp sci), not a mathematician/computer scientist. I'm interested asymmetric cryptography, automated reasoning, graph theory and general discrete mathematics.