Social
Yakir_Vizel_ headshot.jpg
Award Recipient

Yakir Vizel

Technion – Israel Institute Of Technology
Social
2022 Amazon Research Award
Lazy and incremental framework for solving CHCs
2021 Amazon Research Award
Quantified invariants
Research topic
Automated reasoning
View from space of a connected network around planet Earth representing the Internet of Things.
Get more from Amazon Science
Subscribe to our newsletter

Amazon.com | Conditions of Use | Privacy | © 1996-2026 Amazon.com, Inc. or its affiliates

Social