This user is a computer scientist.
This user is a logician.