known for his research in program synthesis, such as [dreamcoder](https://arxiv.org/abs/2006.08381). ![[Pasted image 20250401003514.png]]