Robuta

Sponsor of the Day: Jerkmate
https://www.amazon.science/latest-news/amazon-scholar-rupak-majumdar-wins-concur-test-of-time-award Amazon Scholar Rupak Majumdar wins CONCUR Test-of-Time Award - Amazon Science Sep 29, 2022 - Majumdar’s 2003 paper established an elegant algorithm that influences current work on timed games. amazon scholartime awardmajumdarwinsconcur https://www.amazon.science/working-at-amazon/aravind-srinivasan-amazon-scholar-focuses-on-combinatorial-optimization-algorithms-and-ai Aravind Srinivasan: Amazon Scholar focuses on combinatorial optimization, algorithms, and AI -... Jul 30, 2023 - Srinivasan’s work cuts across multiple sectors, including cloud computing, machine learning, resource allocation, online algorithms, sustainable energy, and... amazon scholarcombinatorial optimizationaravindsrinivasanfocuses https://www.amazon.science/latest-news/amazon-scholar-george-karypis-receives-icdm-10-year-highest-impact-award Amazon Scholar George Karypis receives ICDM 10-Year-Highest-Impact award - Amazon Science Oct 22, 2025 - University of Minnesota professor and Amazon Scholar, together with coauthor, receives recognition for paper that proposes novel approach to algorithm that... amazon scholar10 yearhighest impactaward sciencegeorge https://www.amazon.science/blog/amazon-scholar-solves-century-old-problem-with-automated-reasoning Amazon Scholar solves century-old problem with automated reasoning - Amazon Science Apr 3, 2024 - Solution method uses new infrastructure that reduces proof-checking overhead by more than 90%. amazon scholarcentury oldautomated reasoningsolvesproblem