Award Recipient Thomas Wies New York University Social website 2021 Amazon Research Award “A modular library of verified concurrent search structure algorithms” 2023 Amazon Research Award Automating Privacy Compliance Research topic Automated reasoning
