Anggha Nugraha

Indonesia

Age: 27

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