Nikolaj Bjorner and Leonardo de Moura receive Herbrand Award 2019
Nikolaj Bjorner and Leonardo de Moura received the Herbrand Award 2019 for their exceptional and numerous contributions with Z3 to SMT solving, including theory, implementation, and application to a wide range of academic and industrial needs.