Hello!

I'm a computer scientist with expertise in computer science, logic, mathematics, and other such areas.