Pascal Van Hentenryck | Georgia Institute of Technology | AcadoMeet