Toby Walsh，澳大利亚新南威尔士大学教授、AAAI执行委员会成员Toby Walsh，因其在约束编程以及可满足性方向的研究成果而闻名业界。同时，Toby Walsh还为澳大利亚信息与通信技术研究中心(NICTA)提供技术指导。