I worked with Prof. Stefano Ermon and one of his PhD students on theoretical and applied projects, namely:

• Designing and implementing a Reinforcement Learning (RL) -based SAT solver in Python

• Implementing a novel approach to using deep generative models of environment dynamics in RL applications in TensorFlow