great to see this happening!
I have 2 PhD positions on program synthesis!
Sicco Verwer, Annibale Panichella, and I are hiring! If you are interested in program synthesis and repair, explainable AI, and reducing errors in software, consider applying! lnkd.in/djir-dsh