Researcher in the field of deep learning, games and VR development, theorem proving, mathematics and fundamental theories of physics.