Przemysław Chojecki has a Ph.D. in mathematics from Paris, he was a Research Fellow at the University of Oxford for 2 years. Currently, he is an assistant professor in Warsaw and a member of the Scientific Advisory Board at He enjoys both research in mathematics as well as machine learning. He has initiated DeepAlgebra project in automated reasoning (