Associate professor, logician, mathematician, computer scientist, researcher, inventor, author, lecturer, columnist, science communicator, public speaker.