Hi Jeremy. Can you describe your knowledge of program synthesis? How long have you been studying the subject? Can you point to some interesting program synthesis work you have read lately?