Dr Meel was presented the ACP Early Career Researcher Award in early August at the CP 2022 conference in Haifa, Israel, where he also invited to give a plenary talk.
The award is given to researchers with a scientific track record showing great promise in the research area of constraint programming (CP). The selection of the award winner is based on the originality, impact, and quality of their research work.
According to the ACP, Dr Meel has made fundamental contributions to the problem of counting and sampling solutions of constraints by combining deep theoretical insights with the development of scalable systems.
His work has had an impact on satisfiability, machine learning, formal verification, and knowledge representation. His research has also resulted in practical application in areas such as neural network verification, power transmission network reliability, and forest fire prediction.