Anggha Nugraha

Indonesia

Age: 26

I'm a graduate student that interested for studying about mathematical logic, program verification, and also automated logical reasoning.