Social
Milos Gligoric
Award Recipient

Milos Gligoric

The University of Texas at Austin
2025 Amazon Research Award
Documenting and Recommending Tactics in HOL Light
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