Award Recipient Suha Orhun Mutluergil Sabanci University Social website 2021 Amazon Research Award Linearizability Checking Via Symbolic Reasoning Research topic Information and knowledge management
