I am a high-energy physicist turned programmer, previously working as postdoctoral researcher at Institut des Hautes Études Scientifiques (France), Université Libre de Bruxelles (Belgium) and Institute for Basic Science (South Korea). In Physics, I am interested mostly in holography and low-dimensional models of quantum gravity, although I have also been known to work in condensed-matter physics, slime mold models and other interdisciplinary topics.I began programming in the early 2000’s when I discovered then-little-known Python 1.6 through a family friend, and have been coding ever since – my SourceForge account is now old enough to drink! My preferred languages are Python+TensorFlow for machine-learning and artificial intelligence, as well as day-to-day automation; C++ for competitive programming; and Mathematica for symbolic computations and Physics projects. During the last few years, I’ve been working on artificial intelligence for automated theorem proving.