70 Amazon Research Award recipients announced

by
Amazon AWS

70 Amazon Research Award recipients announced

Awardees, who represent 44 universities in 10 countries, have access to Amazon public datasets, along with AWS AI/ML services and tools.

June 03, 01:06 PMJune 03, 01:06 PM

Amazon Research Awards (ARA) provides unrestricted funds and AWS Promotional Credits to academic researchers investigating various research topics in multiple disciplines. This cycle, ARA received many excellent research proposals from across the world and today is publicly announcing 70 award recipients who represent 44 universities in 10 countries.

This announcement includes awards funded under five call for proposals during the fall 2024 cycle: AI for Information Security, Automated Reasoning, AWS AI, AWS Cryptography, and Sustainability. Proposals were reviewed for the quality of their scientific content and their potential to impact both the research community and society. Additionally, Amazon encourages the publication of research results, presentations of research at Amazon offices worldwide, and the release of related code under open-source licenses.

Recipients have access to more than 700 Amazon public datasets and can utilize AWS AI/ML services and tools through their AWS Promotional Credits. Recipients also are assigned an Amazon research contact who offers consultation and advice, along with opportunities to participate in Amazon events and training sessions.

Automated Reasoning is an important area of research for Amazon, with potential applications across various features and applications to help improve security, reliability, and performance for our customers. Through the ARA program, we collaborate with leading academic researchers to explore challenges in this field, said Robert Jones, senior principal scientist with the Cloud Automated Reasoning Group. We were again impressed by the exceptional response to our Automated Reasoning call for proposals this year, receiving numerous high-quality submissions. Congratulations to the recipients! We’re excited to support their work and partner with them as they develop new science and technology in this important area.

At Amazon, we believe that solving the world’s toughest sustainability challenges benefits from both breakthrough scientific research and open and bold collaboration. Through programs like the Amazon Research Awards program, we aim to support academic research that could contribute to our understanding of these complex issues, said Kommy Weldemariam, Director of Science and Innovation Sustainability. The selected proposals represent innovative projects that we hope will help advance knowledge in this field, potentially benefiting customers, communities, and the environment.

ARA funds proposals throughout the year in a variety of research areas. Applicants are encouraged to visit the ARA call for proposals page for more information or send an email to be notified of future open calls.

The tables below list, in alphabetical order by last name, fall 2024 cycle call-for-proposal recipients, sorted by research area.

AI for Information Security

<tbody><tr><td colspan=”1″ rowspan=”1″><b>Recipient</b></td><td colspan=”1″ rowspan=”1″><b>University</b></td><td colspan=”1″ rowspan=”1″><b>Research title</b></td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/christopher-amato” data-cms-id=”00000196-f43b-d69c-af96-fc3ff74c0000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/christopher-amato” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748965923144,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748965923144,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-f43b-d69c-af96-fc3ff74c0000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-367d-d5b3-a9f7-be7de6bf0000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Christopher Amato","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-367d-d5b3-a9f7-be7de6a40000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Christopher Amato</a></td><td colspan=”1″ rowspan=”1″ height=”77″ class=”xl65″ width=”171″ style=”height:57.6pt;width:128pt”>Northeastern University</td><td colspan=”1″ rowspan=”1″ height=”77″ class=”xl65″ width=”202″ style=”height:57.6pt;width:151pt”>Multi-Agent Reinforcement Learning Cyber Defense for Securing Cloud Computing Platforms</td></tr><tr><td colspan=”1″ rowspan=”1″ height=”58″ class=”xl66″ width=”117″ style=”height:43.2pt;width:88pt”><a href=”https://www.amazon.science/research-awards/recipients/bernd-bischl” data-cms-id=”00000196-f3df-d69c-af96-ffffe5470000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/bernd-bischl” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748965936365,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748965936365,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-f3df-d69c-af96-ffffe5470000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-367e-d651-a1ff-fe7e23900000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Bernd Bischl","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-367e-d651-a1ff-fe7e23880000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Bernd Bischl</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”171″ style=”width:128pt”>Ludwig Maximilian University of Munich</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”202″ style=”width:151pt”>Improving Generative and Foundation Models Reliability via Uncertainty-awareness</td></tr><tr><td colspan=”1″ rowspan=”1″ height=”77″ class=”xl66″ width=”117″ style=”height:57.6pt;width:88pt”><a href=”https://www.amazon.science/research-awards/recipients/alina-oprea” data-cms-id=”00000196-f438-d69c-af96-fc3eb0360000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/alina-oprea” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748965950713,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748965950713,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-f438-d69c-af96-fc3eb0360000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-367e-da03-a5d7-ff7f598f0000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Alina Oprea","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-367e-da03-a5d7-ff7f59860000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Alina Oprea</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”171″ style=”width:128pt”>Northeastern University</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”202″ style=”width:151pt”>Multi-Agent Reinforcement Learning Cyber Defense for Securing Cloud Computing Platforms</td></tr><tr><td colspan=”1″ rowspan=”1″ height=”77″ class=”xl66″ width=”117″ style=”height:57.6pt;width:88pt”><a href=”https://www.amazon.science/research-awards/recipients/roberto-perdisci” data-cms-id=”00000196-f3d4-dd94-ad97-f7df08670000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/roberto-perdisci” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748965964159,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748965964159,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-f3d4-dd94-ad97-f7df08670000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-367e-d1b2-a397-36fe8d4a0000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Roberto Perdisci","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-367e-d1b2-a397-36fe8d400000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Roberto Perdisci</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”171″ style=”width:128pt”>University of Georgia</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”202″ style=”width:151pt”>ContextADBench: A Comprehensive Benchmark Suite for Contextual Anomaly Detection</td></tr></tbody>

Automated Reasoning

<tbody><tr><td colspan=”1″ rowspan=”1″><b>Recipient</b></td><td colspan=”1″ rowspan=”1″><b>University</b></td><td colspan=”1″ rowspan=”1″><b>Research title</b></td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/nada-amin” data-cms-id=”00000188-9255-dbd2-a1db-fad53a150000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/nada-amin” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748965988276,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748965988276,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000188-9255-dbd2-a1db-fad53a150000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-367e-dd34-a3ff-7f7fea920000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Nada Amin","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-367e-dd34-a3ff-7f7fea890000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Nada Amin</a></td><td colspan=”1″ rowspan=”1″ class=”xl67″ width=”175″ style=”width:131pt”>Harvard University</td><td colspan=”1″ rowspan=”1″ class=”xl67″ width=”285″ style=”width:214pt”>LLM-Augmented Semi-Automated Proofs for Interactive Verification</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/suguman-bansal” data-cms-id=”00000196-f46e-d69c-af96-fc6efbb40000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/suguman-bansal” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748966000025,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748966000025,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-f46e-d69c-af96-fc6efbb40000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-367f-df40-ad97-b6ff22560000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Suguman Bansal","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-367f-df40-ad97-b6ff224a0000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Suguman Bansal</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”175″ style=”width:131pt”>Georgia Institute of Technology</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”285″ style=”border-left:none;width:214pt”>Certified Inductive Generalization in Reinforcement Learning</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/ioana-boureanu” data-cms-id=”00000196-f441-d69c-af96-fc6733410000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/ioana-boureanu” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748966045584,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748966045584,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-f441-d69c-af96-fc6733410000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-367f-dd34-a3ff-7f7fd12c0000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Ioana Boureanu","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-367f-dd34-a3ff-7f7fd1240000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Ioana Boureanu</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”175″ style=”border-top:none;width:131pt”>University of Surrey</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”285″ style=”border-top:none;border-left:none;width:214pt”>Phoebe+: An Automated-Reasoning Tool for Provable Privacy in Cryptographic Systems</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/omar-haider-chowdhury” data-cms-id=”00000196-f468-dd94-ad97-f4ff34610000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/omar-haider-chowdhury” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748966059168,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748966059168,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-f468-dd94-ad97-f4ff34610000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-3680-d5b3-a9f7-be8004920000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Omar Haider Chowdhury","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-3680-d5b3-a9f7-be8004890000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Omar Haider Chowdhury</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”175″ style=”border-top:none;width:131pt”>Stony Brook University</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”285″ style=”border-top:none;border-left:none;width:214pt”>Restricter: An Automatic Tool for Authoring Amazon Cedar Access Control Policies with the Principle of Least Privilege</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/stefan-ciobaca” data-cms-id=”00000196-f500-d5f3-af9e-f5b5d6da0000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/stefan-ciobaca” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748966070795,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748966070795,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-f500-d5f3-af9e-f5b5d6da0000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-3680-df40-ad97-b69d37310000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Stefan Ciobaca","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-3680-df40-ad97-b69d372b0000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Stefan Ciobaca</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”175″ style=”border-top:none;width:131pt”>Alexandru Ioan Cuza University</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”285″ style=”border-top:none;border-left:none;width:214pt”>An Interactive Proof Mode for Dafny</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/joao-ferreira” data-cms-id=”00000196-f4f1-d5f3-af9e-f4f59c7c0000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/joao-ferreira” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748966086030,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748966086030,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-f4f1-d5f3-af9e-f4f59c7c0000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-3680-da03-a5d7-ffcd67330000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Joo Ferreira","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-3680-da03-a5d7-ffcd672c0000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Joo Ferreira</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”175″ style=”border-top:none;width:131pt”>INESC-ID</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”285″ style=”border-top:none;border-left:none;width:214pt”>Polyglot Automated Program Repair for Infrastructure as Code</td></tr><tr><td colspan=”1″ rowspan=”1″ height=”20″ class=”xl66″ width=”135″ style=”height:15.0pt;width:101pt”><a href=”https://www.amazon.science/research-awards/recipients/mirco-giacobbe” data-cms-id=”00000196-f4fd-d957-a396-feff222b0000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/mirco-giacobbe” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748966098360,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748966098360,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-f4fd-d957-a396-feff222b0000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-3680-d23f-a3ff-f6aba0f70000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Mirco Giacobbe","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-3680-d23f-a3ff-f6aba0da0000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Mirco Giacobbe</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”175″ style=”border-top:none;width:131pt”>University of Birmingham</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”285″ style=”border-top:none;border-left:none;width:214pt”>Neural Software Verification</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/tobias-grosser” data-cms-id=”0000018f-0e10-dc75-abaf-7f525b050000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/tobias-grosser” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748966112895,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748966112895,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"0000018f-0e10-dc75-abaf-7f525b050000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-3680-d1b2-a397-36b2d1ba0000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Tobias Grosser","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-3680-d1b2-a397-36b2d1ad0000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Tobias Grosser</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”175″ style=”border-top:none;width:131pt”>University of Cambridge</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”285″ style=”border-top:none;border-left:none;width:214pt”>Synthesis-based Symbolic BitVector Simplification for Lean</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/ronghui-gu” data-cms-id=”00000188-9255-dbd2-a1db-fad507a70000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/ronghui-gu” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748966124564,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748966124564,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000188-9255-dbd2-a1db-fad507a70000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-3681-da03-a5d7-ffcd07970000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Ronghui Gu","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-3681-da03-a5d7-ffcd07900000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Ronghui Gu</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”175″ style=”border-top:none;width:131pt”>Columbia University</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”285″ style=”border-top:none;border-left:none;width:214pt”>Scaling Formal Verification of Security Properties for Unmodified System Software</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/alexey-ignatiev” data-cms-id=”00000196-f478-dd94-ad97-f4ff7b120000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/alexey-ignatiev” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748966137783,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748966137783,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-f478-dd94-ad97-f4ff7b120000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-3681-dd34-a3ff-7fd335cc0000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Alexey Ignatiev","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-3681-dd34-a3ff-7fd335c60000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Alexey Ignatiev</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”175″ style=”border-top:none;width:131pt”>Monash University</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”285″ style=”border-top:none;border-left:none;width:214pt”>Huub: Next-Gen Lazy Clause Generation</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/kenneth-mcmillan” data-cms-id=”00000196-f4ff-d957-a396-feff01330000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/kenneth-mcmillan” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748966150239,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748966150239,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-f4ff-d957-a396-feff01330000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-3681-d23f-a3ff-f6ab68f20000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Kenneth McMillan","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-3681-d23f-a3ff-f6ab68e90000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Kenneth McMillan</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”175″ style=”border-top:none;width:131pt”>University of Texas At Austin</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”285″ style=”border-top:none;border-left:none;width:214pt”>Synthesis of Auxiliary Variables and Invariants for Distributed Protocol Verification</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/alexandra-mendes” data-cms-id=”00000196-f4fb-d957-a396-feff544d0000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/alexandra-mendes” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748966164850,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748966164850,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-f4fb-d957-a396-feff544d0000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-3681-dd34-a3ff-7fd39e2a0000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Alexandra Mendes","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-3681-dd34-a3ff-7fd39e210000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Alexandra Mendes</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”175″ style=”border-top:none;width:131pt”>University of Porto</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”285″ style=”border-top:none;border-left:none;width:214pt”>Overcoming Barriers to the Adoption of Verification-Aware Languages</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/jason-nieh” data-cms-id=”00000188-9257-dbd2-a1db-fad7b8490000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/jason-nieh” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748966179016,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748966179016,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000188-9257-dbd2-a1db-fad7b8490000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-3681-da03-a5d7-ffcdd65d0000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Jason Nieh","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-3681-da03-a5d7-ffcdd6500000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Jason Nieh</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”175″ style=”border-top:none;width:131pt”>Columbia University</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”285″ style=”border-top:none;border-left:none;width:214pt”>Scaling Formal Verification of Security Properties for Unmodified System Software</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/rohan-padhye” data-cms-id=”00000188-9255-dbd2-a1db-fad5092b0000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/rohan-padhye” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748966191602,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748966191602,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000188-9255-dbd2-a1db-fad5092b0000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-3682-d23f-a3ff-f6ab09f60000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Rohan Padhye","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-3682-d23f-a3ff-f6ab09f10000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Rohan Padhye</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”175″ style=”border-top:none;width:131pt”>Carnegie Mellon University</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”285″ style=”border-top:none;border-left:none;width:214pt”>Automated Synthesis and Evaluation of Property-Based Tests</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/fortunat-rajaona” data-cms-id=”00000196-f463-d69c-af96-fc6734b50000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/fortunat-rajaona” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748966204266,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748966204266,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-f463-d69c-af96-fc6734b50000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-3682-d23f-a3ff-f6ab3d8b0000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Fortunat Rajaona","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-3682-d23f-a3ff-f6ab3d850000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Fortunat Rajaona</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”175″ style=”border-top:none;width:131pt”>University of Surrey</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”285″ style=”border-top:none;border-left:none;width:214pt”>Phoebe+: An Automated-Reasoning Tool for Provable Privacy in Cryptographic Systems</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/subhajit-roy” data-cms-id=”00000196-f502-d957-a396-ff5e4a290000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/subhajit-roy” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748966222672,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748966222672,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-f502-d957-a396-ff5e4a290000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-3682-da03-a5d7-ffcf6ee80000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Subhajit Roy","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-3682-da03-a5d7-ffcf6edf0000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Subhajit Roy</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”175″ style=”border-top:none;width:131pt”>Indian Institute of Technology Kanpur</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”285″ style=”border-top:none;border-left:none;width:214pt”>Theorem Proving Modulo LLM</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/gagandeep-singh” data-cms-id=”00000196-f46c-d69c-af96-fc6efdf30000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/gagandeep-singh” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748966236127,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748966236127,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-f46c-d69c-af96-fc6efdf30000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-3682-da03-a5d7-ffcfba800000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Gagandeep Singh","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-3682-da03-a5d7-ffcfba770000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Gagandeep Singh</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”175″ style=”border-top:none;width:131pt”>University of Illinois At UrbanaChampaign</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”285″ style=”border-top:none;border-left:none;width:214pt”>Trustworthy LLM Systems using Formal Contracts</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/scott-stoller” data-cms-id=”00000196-f46a-dd94-ad97-f4ff16e70000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/scott-stoller” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748966247968,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748966247968,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-f46a-dd94-ad97-f4ff16e70000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-3682-dd34-a3ff-7fd3eb0c0000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Scott Stoller","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-3682-dd34-a3ff-7fd3eb060000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Scott Stoller</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”175″ style=”border-top:none;width:131pt”>Stony Brook University</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”285″ style=”border-top:none;border-left:none;width:214pt”>Restricter: An Automatic Tool for Authoring Amazon Cedar Access Control Policies with the Principle of Least Privilege</td></tr><tr><td colspan=”1″ rowspan=”1″ height=”20″ class=”xl66″ width=”135″ style=”height:15.0pt;width:101pt”><a href=”https://www.amazon.science/research-awards/recipients/peter-stuckey” data-cms-id=”00000196-f476-dd94-ad97-f4fff4600000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/peter-stuckey” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748966264947,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748966264947,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-f476-dd94-ad97-f4fff4600000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-3683-df40-ad97-b69f18300000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Peter Stuckey","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-3683-df40-ad97-b69f18290000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Peter Stuckey</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”175″ style=”border-top:none;width:131pt”>Monash University</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”285″ style=”border-top:none;border-left:none;width:214pt”>Huub: Next-Gen Lazy Clause Generation</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/yulei-sui” data-cms-id=”00000196-f465-dd94-ad97-f4fff04e0000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/yulei-sui” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748966283536,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748966283536,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-f465-dd94-ad97-f4fff04e0000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-3683-d23f-a3ff-f6ab5b9f0000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Yulei Sui","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-3683-d23f-a3ff-f6ab5b970000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Yulei Sui</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”175″ style=”border-top:none;width:131pt”>University of New South Wales</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”285″ style=”border-top:none;border-left:none;width:214pt”>Path-Sensitive Typestate Analysis through Sparse Abstract Execution</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/nikos-vasilakis” data-cms-id=”00000196-f4f7-d957-a396-feff12da0000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/nikos-vasilakis” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748966296140,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748966296140,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-f4f7-d957-a396-feff12da0000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-3683-d5b3-a9f7-be83a51e0000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Nikos Vasilakis","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-3683-d5b3-a9f7-be83a5150000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Nikos Vasilakis</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”175″ style=”border-top:none;width:131pt”>Brown University</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”285″ style=”border-top:none;border-left:none;width:214pt”>Semantics-Driven Static Analysis for the Unix/Linux Shell</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/ping-wang” data-cms-id=”00000196-f46b-d69c-af96-fc6f73960000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/ping-wang” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748966308787,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748966308787,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-f46b-d69c-af96-fc6f73960000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-3683-da03-a5d7-ffcfd5430000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Ping Wang","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-3683-da03-a5d7-ffcfd53a0000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Ping Wang</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”175″ style=”border-top:none;width:131pt”>Stevens Institute of Technology</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”285″ style=”border-top:none;border-left:none;width:214pt”>Leveraging Large Language Models for Reasoning Augmented Searching on Domain-specific NoSQL Database</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/john-wawrzynek” data-cms-id=”00000196-f475-dd94-ad97-f4ff402b0000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/john-wawrzynek” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748966318795,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748966318795,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-f475-dd94-ad97-f4ff402b0000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-3684-d23f-a3ff-f6af03750000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"John Wawrzynek","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-3684-d23f-a3ff-f6af036f0000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>John Wawrzynek</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”175″ style=”border-top:none;width:131pt”>University of California, Berkeley</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”285″ style=”border-top:none;border-left:none;width:214pt”>GPU-Accelerated High-Throughput SAT Sampling</td></tr></tbody>

AWS AI

<tbody><tr><td colspan=”1″ rowspan=”1″><b>Recipient</b></td><td colspan=”1″ rowspan=”1″><b>University</b></td><td colspan=”1″ rowspan=”1″><b>Research title</b></td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/panagiotis-adamopoulos” data-cms-id=”00000196-f3c0-dd94-ad97-f7dff51f0000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/panagiotis-adamopoulos” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748966365424,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748966365424,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-f3c0-dd94-ad97-f7dff51f0000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-3684-df40-ad97-b69db6290000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Panagiotis Adamopoulos","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-3684-df40-ad97-b69db6200000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Panagiotis Adamopoulos</a></td><td colspan=”1″ rowspan=”1″ class=”xl67″ width=”162″ style=”width:121pt”>Emory University</td><td colspan=”1″ rowspan=”1″ class=”xl67″ width=”174″ style=”width:130pt”>Generative AI solutions for The Spillover Effect of Fraudulent Reviews on Product Recommendations</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/vikram-adve” data-cms-id=”00000188-9258-dbd2-a1db-fad98acc0000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/vikram-adve” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748967163514,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748967163514,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000188-9258-dbd2-a1db-fad98acc0000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-3684-d5b3-a9f7-be84e3590000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Vikram Adve","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-3684-d5b3-a9f7-be84e3500000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Vikram Adve</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”162″ style=”width:121pt”>University of Illinois at UrbanaChampaign</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”174″ style=”border-left:none;width:130pt”>Fellini: Differentiable ML Compiler for Full-Graph Optimization for LLM Models</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/frances-arnold” data-cms-id=”00000196-efef-dbbc-a7de-ffffbc620000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/frances-arnold” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748967179974,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748967179974,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-efef-dbbc-a7de-ffffbc620000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-3691-d23f-a3ff-f6bb13b60000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Frances Arnold","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-3691-d23f-a3ff-f6bb13ad0000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Frances Arnold</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”162″ style=”border-top:none;width:121pt”>California Institute of Technology</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”174″ style=”border-top:none;border-left:none;width:130pt”>Closed-loop Generative Machine Learning for De Novo Enzyme Discovery and Optimization</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/yonatan-bisk” data-cms-id=”00000196-eff8-d41c-a3df-effd09d80000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/yonatan-bisk” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748967191163,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748967191163,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-eff8-d41c-a3df-effd09d80000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-3691-dd34-a3ff-7fd350c70000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Yonatan Bisk","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-3691-dd34-a3ff-7fd350c10000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Yonatan Bisk</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”162″ style=”border-top:none;width:121pt”>Carnegie Mellon University</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”174″ style=”border-top:none;border-left:none;width:130pt”>Useful, Safe, and Robust Multiturn Interactions with LLMs</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/shiyu-chang” data-cms-id=”00000196-f002-d41c-a3df-f04f10490000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/shiyu-chang” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748967204023,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748967204023,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-f002-d41c-a3df-f04f10490000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-3691-d23f-a3ff-f6bb7bc90000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Shiyu Chang","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-3691-d23f-a3ff-f6bb7bc20000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Shiyu Chang</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”162″ style=”border-top:none;width:121pt”>University of California, Santa Barbara</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”174″ style=”border-top:none;border-left:none;width:130pt”>Cut the Crap: Advancing the Efficient Communication of Multi-Agent Systems via Spatial-Temporal Topology Design and KV Cache Sharing</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/yuxin-chen” data-cms-id=”00000196-effa-d41c-a3df-efff73b70000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/yuxin-chen” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748967216353,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748967216353,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-effa-d41c-a3df-efff73b70000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-3691-dd34-a3ff-7fd3af410000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Yuxin Chen","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-3691-dd34-a3ff-7fd3af3b0000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Yuxin Chen</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”162″ style=”border-top:none;width:121pt”>University of Pennsylvania</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”174″ style=”border-top:none;border-left:none;width:130pt”>Provable Acceleration of Diffusion Models for Modern Generative AI</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/tianlong-chen” data-cms-id=”00000196-efff-d41c-a3df-efff3c610000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/tianlong-chen” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748967227811,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748967227811,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-efff-d41c-a3df-efff3c610000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-3691-dd34-a3ff-7fd3dec80000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Tianlong Chen","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-3691-dd34-a3ff-7fd3dec00000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Tianlong Chen</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”162″ style=”border-top:none;width:121pt”>University of North Carolina at Chapel Hill</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”174″ style=”border-top:none;border-left:none;width:130pt”>Cut the Crap: Advancing the Efficient Communication of Multi-Agent Systems via Spatial-Temporal Topology Design and KV Cache Sharing</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/mingyu-ding” data-cms-id=”00000196-eff3-d41c-a3df-efff69820000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/mingyu-ding” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748967246244,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748967246244,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-eff3-d41c-a3df-efff69820000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-3692-d23f-a3ff-f6bb0d320000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Mingyu Ding","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-3692-d23f-a3ff-f6bb0d2d0000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Mingyu Ding</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”162″ style=”border-top:none;width:121pt”>University of North Carolina at Chapel Hill</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”174″ style=”border-top:none;border-left:none;width:130pt”>Aligning Long Videos and Language as Long-Horizon World Models</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/nikhil-garg” data-cms-id=”0000018f-0e2d-dce3-af9f-4efd5cdc0000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/nikhil-garg” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748967258544,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748967258544,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"0000018f-0e2d-dce3-af9f-4efd5cdc0000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-3692-dd34-a3ff-7fd351ad0000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Nikhil Garg","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-3692-dd34-a3ff-7fd351a60000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Nikhil Garg</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”162″ style=”border-top:none;width:121pt”>Cornell University</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”174″ style=”border-top:none;border-left:none;width:130pt”>Market Design for Responsible Multi-agent LLMs</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/jessica-hullman” data-cms-id=”00000196-f3a4-dd94-ad97-f7bf98490000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/jessica-hullman” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748967272546,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748967272546,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-f3a4-dd94-ad97-f7bf98490000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-3692-dd34-a3ff-7fd3845d0000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Jessica Hullman","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-3692-dd34-a3ff-7fd384560000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Jessica Hullman</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”162″ style=”border-top:none;width:121pt”>Northwestern University</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”174″ style=”border-top:none;border-left:none;width:130pt”>Human-Aligned Uncertainty Quantification in High Dimensions</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/christopher-jermaine” data-cms-id=”00000196-ef10-dbbc-a7de-ff5308810000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/christopher-jermaine” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748967285624,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748967285624,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-ef10-dbbc-a7de-ff5308810000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-3692-d23f-a3ff-f6bbbd060000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Christopher Jermaine","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-3692-d23f-a3ff-f6bbbd000000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Christopher Jermaine</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”162″ style=”border-top:none;width:121pt”>Rice University</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”174″ style=”border-top:none;border-left:none;width:130pt”>Fast, Trusted AI Using the EINSUMMABLE Compiler</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/yunzhu-li” data-cms-id=”00000196-f009-dbbc-a7de-f15b10e10000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/yunzhu-li” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748967297260,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748967297260,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-f009-dbbc-a7de-f15b10e10000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-3692-d23f-a3ff-f6bbee940000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Yunzhu Li","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-3692-d23f-a3ff-f6bbee8f0000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Yunzhu Li</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”162″ style=”border-top:none;width:121pt”>Columbia University</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”174″ style=”border-top:none;border-left:none;width:130pt”>Physics-Informed Foundation Models Through Embodied Interactions</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/pattie-maes” data-cms-id=”00000196-f3d2-d69c-af96-fff617430000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/pattie-maes” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748967308974,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748967308974,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-f3d2-d69c-af96-fff617430000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-3693-d23f-a3ff-f6bb1e6c0000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Pattie Maes","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-3693-d23f-a3ff-f6bb1e670000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Pattie Maes</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”162″ style=”border-top:none;width:121pt”>Massachusetts Institute of Technology</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”174″ style=”border-top:none;border-left:none;width:130pt”>Understanding How LLM Agents Deviate from Human Choices</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/sasa-misailovic” data-cms-id=”00000196-efc4-d41c-a3df-efcdf1080000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/sasa-misailovic” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748967319321,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748967319321,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-efc4-d41c-a3df-efcdf1080000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-3693-dd34-a3ff-7fd347b30000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Sasa Misailovic","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-3693-dd34-a3ff-7fd347ad0000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Sasa Misailovic</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”162″ style=”border-top:none;width:121pt”>University of Illinois at UrbanaChampaign</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”174″ style=”border-top:none;border-left:none;width:130pt”>Fellini: Differentiable ML Compiler for Full-Graph Optimization for LLM Models</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/kristina-monakhova” data-cms-id=”00000196-f3af-d69c-af96-ffaf98780000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/kristina-monakhova” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748967334299,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748967334299,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-f3af-d69c-af96-ffaf98780000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-3693-d23f-a3ff-f6bb73600000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Kristina Monakhova","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-3693-d23f-a3ff-f6bb73580000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Kristina Monakhova</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”162″ style=”border-top:none;width:121pt”>Cornell University</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”174″ style=”border-top:none;border-left:none;width:130pt”>Trustworthy extreme imaging for science using interpretable uncertainty quantification</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/todd-mowry” data-cms-id=”00000196-efb8-dbbc-a7de-fffb70d60000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/todd-mowry” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748967345339,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748967345339,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-efb8-dbbc-a7de-fffb70d60000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-3693-dd34-a3ff-7fd3aae40000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Todd Mowry","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-3693-dd34-a3ff-7fd3aade0000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Todd Mowry</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”162″ style=”border-top:none;width:121pt”>Carnegie Mellon University</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”174″ style=”border-top:none;border-left:none;width:130pt”>Efficient LLM Serving on Trainium via Kernel Generation</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/min-hwan-oh” data-cms-id=”00000196-f3b6-d69c-af96-ffb608e40000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/min-hwan-oh” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748967357021,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748967357021,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-f3b6-d69c-af96-ffb608e40000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-3693-d23f-a3ff-f6bbd9690000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Min-hwan Oh","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-3693-d23f-a3ff-f6bbd9610000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Min-hwan Oh</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”162″ style=”border-top:none;width:121pt”>Seoul National University</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”174″ style=”border-top:none;border-left:none;width:130pt”>Mutually Beneficial Interplay Between Selection Fairness and Context Diversity in Contextual Bandits</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/patrick-rebeschini” data-cms-id=”00000196-effd-dbbc-a7de-ffff13700000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/patrick-rebeschini” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748967368283,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748967368283,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-effd-dbbc-a7de-ffff13700000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-3694-dd34-a3ff-7fd702400000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Patrick Rebeschini","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-3694-dd34-a3ff-7fd7023a0000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Patrick Rebeschini</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”162″ style=”border-top:none;width:121pt”>University of Oxford</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”174″ style=”border-top:none;border-left:none;width:130pt”>Optimal Regularization for LLM Alignment</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/jose-renau” data-cms-id=”00000196-f3a0-dd94-ad97-f7bf5d880000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/jose-renau” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748967379029,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748967379029,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-f3a0-dd94-ad97-f7bf5d880000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-3694-dd34-a3ff-7fd72fbf0000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Jose Renau","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-3694-dd34-a3ff-7fd72fb80000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Jose Renau</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”162″ style=”border-top:none;width:121pt”>University of California, Santa Cruz</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”174″ style=”border-top:none;border-left:none;width:130pt”>Verification Constrained Hardware Optimization using Intelligent Design Agentic Programming</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/vilma-todri” data-cms-id=”00000196-f3c2-dd94-ad97-f7dffd220000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/vilma-todri” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748967390803,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748967390803,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-f3c2-dd94-ad97-f7dffd220000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-3694-d23f-a3ff-f6bf5c2c0000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Vilma Todri","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-3694-d23f-a3ff-f6bf5c260000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Vilma Todri</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”162″ style=”border-top:none;width:121pt”>Emory University</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”174″ style=”border-top:none;border-left:none;width:130pt”>Generative AI solutions for The Spillover Effect of Fraudulent Reviews on Product Recommendations</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/aravindan-vijayaraghavan” data-cms-id=”00000196-f3a7-d69c-af96-ffa727d50000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/aravindan-vijayaraghavan” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748967402051,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748967402051,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-f3a7-d69c-af96-ffa727d50000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-3694-d23f-a3ff-f6bf8aab0000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Aravindan Vijayaraghavan","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-3694-d23f-a3ff-f6bf8aa50000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Aravindan Vijayaraghavan</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”162″ style=”border-top:none;width:121pt”>Northwestern University</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”174″ style=”border-top:none;border-left:none;width:130pt”>Human-Aligned Uncertainty Quantification in High Dimensions</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/wei-yang” data-cms-id=”00000196-efd1-d41c-a3df-efdd570c0000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/wei-yang” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748967414018,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748967414018,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-efd1-d41c-a3df-efdd570c0000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-3694-d23f-a3ff-f6bfb5480000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Wei Yang","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-3694-d23f-a3ff-f6bfb5420000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Wei Yang</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”162″ style=”border-top:none;width:121pt”>University of Texas at Dallas</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”174″ style=”border-top:none;border-left:none;width:130pt”>Optimizing RISC-V Compilers with RISC-LLM and Syntax Parsing</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/huaxiu-yao” data-cms-id=”00000196-eff5-d41c-a3df-effdd5fe0000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/huaxiu-yao” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748967432850,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748967432850,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-eff5-d41c-a3df-effdd5fe0000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-3695-dd34-a3ff-7fd703150000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Huaxiu Yao","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-3695-dd34-a3ff-7fd7030b0000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Huaxiu Yao</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”162″ style=”border-top:none;width:121pt”>University of North Carolina at Chapel Hill</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”174″ style=”border-top:none;border-left:none;width:130pt”>Aligning Long Videos and Language as Long-Horizon World Models</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/amy-zhang” data-cms-id=”00000196-f3c4-dd94-ad97-f7df9fc20000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/amy-zhang” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748967448147,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748967448147,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-f3c4-dd94-ad97-f7df9fc20000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-3695-d23f-a3ff-f6bf2eb10000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Amy Zhang","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-3695-d23f-a3ff-f6bf2eab0000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Amy Zhang</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”162″ style=”border-top:none;width:121pt”>University of Washington</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”174″ style=”border-top:none;border-left:none;width:130pt”>Tools for Governing AI Agent Autonomy</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/ruqi-zhang” data-cms-id=”00000196-f3b3-dd94-ad97-f7bf55460000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/ruqi-zhang” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748967462196,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748967462196,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-f3b3-dd94-ad97-f7bf55460000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-3695-dd34-a3ff-7fd769aa0000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Ruqi Zhang","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-3695-dd34-a3ff-7fd769a50000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Ruqi Zhang</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”162″ style=”border-top:none;width:121pt”>Purdue University</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”174″ style=”border-top:none;border-left:none;width:130pt”>Efficient Test-time Alignment for Large Language Models and Large Multimodal Models</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/zheng-zhang” data-cms-id=”00000196-efcf-d41c-a3df-efcfa8a40000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/zheng-zhang” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748967475461,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748967475461,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-efcf-d41c-a3df-efcfa8a40000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-3695-d23f-a3ff-f6bfa1a80000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Zheng Zhang","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-3695-d23f-a3ff-f6bfa19f0000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Zheng Zhang</a></td><td colspan=”1″ rowspan=”1″>Rutgers University-New Brunswick</td><td colspan=”1″ rowspan=”1″>AlphaQC: An AI-powered Quantum Circuit Optimizer and Denoiser</td></tr></tbody>

AWS Cryptography

<tbody><tr><td colspan=”1″ rowspan=”1″><b>Recipient</b></td><td colspan=”1″ rowspan=”1″><b>University</b></td><td colspan=”1″ rowspan=”1″><b>Research title</b></td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/alexandra-boldyreva” data-cms-id=”00000196-f50f-d5f3-af9e-f5bf87f10000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/alexandra-boldyreva” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748967939572,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748967939572,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-f50f-d5f3-af9e-f5bf87f10000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-369c-d23f-a3ff-f6bfb9e60000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Alexandra Boldyreva","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-369c-d23f-a3ff-f6bfb9e00000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Alexandra Boldyreva</a></td><td colspan=”1″ rowspan=”1″ class=”xl67″ width=”171″ style=”width:128pt”>Georgia Institute of Technology</td><td colspan=”1″ rowspan=”1″ class=”xl67″ width=”202″ style=”width:151pt”>Quantifying Information Leakage in Searchable Encryption Protocols</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/maria-eichlseder” data-cms-id=”00000196-f51d-d5f3-af9e-f5bd6c8f0000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/maria-eichlseder” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748967955452,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748967955452,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-f51d-d5f3-af9e-f5bd6c8f0000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-369c-d23f-a3ff-f6bfeef80000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Maria Eichlseder","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-369c-d23f-a3ff-f6bfeef30000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Maria Eichlseder</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”171″ style=”width:128pt”>Graz University of Technology, Austria</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”202″ style=”border-left:none;width:151pt”>SALAD Systematic Analysis of Lightweight Ascon-based Designs</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/venkatesan-guruswami” data-cms-id=”00000196-f511-d5f3-af9e-f5b580ef0000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/venkatesan-guruswami” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748967968239,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748967968239,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-f511-d5f3-af9e-f5b580ef0000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-369d-dd34-a3ff-7fdf24920000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Venkatesan Guruswami","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-369d-dd34-a3ff-7fdf248b0000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Venkatesan Guruswami</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”171″ style=”border-top:none;width:128pt”>University of California, Berkeley</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”202″ style=”border-top:none;border-left:none;width:151pt”>Obfuscation, Proof Systems, and Secure Computation: A Research Program on Cryptography at the Simons Institute for the Theory of Computing</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/joseph-jaeger” data-cms-id=”00000196-f514-d957-a396-ff5e245b0000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/joseph-jaeger” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748967981498,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748967981498,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-f514-d957-a396-ff5e245b0000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-369d-dd34-a3ff-7fdf5c000000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Joseph Jaeger","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-369d-dd34-a3ff-7fdf5bf80000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Joseph Jaeger</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”171″ style=”border-top:none;width:128pt”>Georgia Institute of Technology</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”202″ style=”border-top:none;border-left:none;width:151pt”>Analyzing Chat Encryption for Group Messaging</td></tr><tr><td colspan=”1″ rowspan=”1″ height=”39″ class=”xl66″ width=”117″ style=”height:29.4pt;width:88pt”><a href=”https://www.amazon.science/research-awards/recipients/aayush-jain” data-cms-id=”00000196-f509-d5f3-af9e-f5bd37f20000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/aayush-jain” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748967994921,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748967994921,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-f509-d5f3-af9e-f5bd37f20000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-369d-d23f-a3ff-f6bf94530000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Aayush Jain","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-369d-d23f-a3ff-f6bf944b0000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Aayush Jain</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”171″ style=”border-top:none;width:128pt”>Carnegie Mellon</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”202″ style=”border-top:none;border-left:none;width:151pt”>Large Scale Multiparty Silent Preprocessing for MPC from LPN</td></tr><tr><td colspan=”1″ rowspan=”1″ height=”39″ class=”xl66″ width=”117″ style=”height:29.4pt;width:88pt”><a href=”https://www.amazon.science/research-awards/recipients/huijia-lin” data-cms-id=”00000196-f50a-d957-a396-ff5eb3e50000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/huijia-lin” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748968010326,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748968010326,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-f50a-d957-a396-ff5eb3e50000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-369d-d23f-a3ff-f6bfc4c70000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Huijia Lin","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-369d-d23f-a3ff-f6bfc4c20000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Huijia Lin</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”171″ style=”border-top:none;width:128pt”>University of Washington</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”202″ style=”border-top:none;border-left:none;width:151pt”>Large Scale Multiparty Silent Preprocessing for MPC from LPN</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/hamed-nemati” data-cms-id=”00000196-f50d-d5f3-af9e-f5bd00050000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/hamed-nemati” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748968031219,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748968031219,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-f50d-d5f3-af9e-f5bd00050000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-369e-dd34-a3ff-7fdf17bf0000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Hamed Nemati","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-369e-dd34-a3ff-7fdf17ba0000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Hamed Nemati</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”171″ style=”border-top:none;width:128pt”>KTH Royal Institute of Technology</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”202″ style=”border-top:none;border-left:none;width:151pt”>Trustworthy Automatic Verification of Side-Channel Countermeasures for Binary Cryptographic Programs using the HoIBA libary</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/karl-palmskog” data-cms-id=”00000196-f50e-d5f3-af9e-f5bf57800000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/karl-palmskog” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748968042791,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748968042791,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-f50e-d5f3-af9e-f5bf57800000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-369e-d23f-a3ff-f6bf4e480000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Karl Palmskog","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-369e-d23f-a3ff-f6bf4e400000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Karl Palmskog</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”171″ style=”border-top:none;width:128pt”>KTH Royal Institute of Technology</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”202″ style=”border-top:none;border-left:none;width:151pt”>Trustworthy Automatic Verification of Side-Channel Countermeasures for Binary Cryptographic Programs using the HoIBA libary</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/chris-piekert” data-cms-id=”00000196-f507-d5f3-af9e-f5b794a90000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/chris-piekert” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748968060521,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748968060521,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-f507-d5f3-af9e-f5b794a90000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-369e-d23f-a3ff-f6bf8d3f0000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Chris Piekert","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-369e-d23f-a3ff-f6bf8d390000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Chris Piekert</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”171″ style=”border-top:none;width:128pt”>University of Michigan, Ann Arbor</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”202″ style=”border-top:none;border-left:none;width:151pt”>Practical Third-Generation FHE and Bootstrapping</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/dimitrios-skarlatos” data-cms-id=”00000196-f515-d957-a396-ff5f86bf0000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/dimitrios-skarlatos” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748968074223,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748968074223,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-f515-d957-a396-ff5f86bf0000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-369e-d23f-a3ff-f6bfc4de0000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Dimitrios Skarlatos","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-369e-d23f-a3ff-f6bfc4d80000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Dimitrios Skarlatos</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”171″ style=”border-top:none;width:128pt”>Carnegie Mellon University</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”202″ style=”border-top:none;border-left:none;width:151pt”>Scale-Out FHE LLMs on GPUs</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/vinod-vaikuntanathan” data-cms-id=”00000196-f51a-d5f3-af9e-f5bf81dc0000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/vinod-vaikuntanathan” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748968085679,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748968085679,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-f51a-d5f3-af9e-f5bf81dc0000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-369e-d23f-a3ff-f6bff7370000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Vinod Vaikuntanathan","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-369e-d23f-a3ff-f6bff7320000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Vinod Vaikuntanathan</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”171″ style=”border-top:none;width:128pt”>Massachusetts Institute of Technology</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”202″ style=”border-top:none;border-left:none;width:151pt”>Can Quantum Computers (Really) Factor?</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/daniel-wichs” data-cms-id=”00000196-f512-d5f3-af9e-f5b7dc450000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/daniel-wichs” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748968101847,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748968101847,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-f512-d5f3-af9e-f5b7dc450000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-369f-d23f-a3ff-f6bf2a1a0000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Daniel Wichs","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-369f-d23f-a3ff-f6bf2a120000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Daniel Wichs</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”171″ style=”border-top:none;width:128pt”>Northeastern University</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”202″ style=”border-top:none;border-left:none;width:151pt”>Obfuscation, Proof Systems, and Secure Computation: A Research Program on Cryptography at the Simons Institute for the Theory of Computing</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/david-wu” data-cms-id=”00000196-f51c-d957-a396-ff5e295c0000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/david-wu” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748968115140,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748968115140,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-f51c-d957-a396-ff5e295c0000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-369f-d23f-a3ff-f6bf66700000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"David Wu","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-369f-d23f-a3ff-f6bf666a0000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>David Wu</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”171″ style=”border-top:none;width:128pt”>University Of Texas At Austin</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”202″ style=”border-top:none;border-left:none;width:151pt”>Fast Private Information Retrieval and More using Homomorphic Encryption</td></tr></tbody>

Sustainability

<tbody><tr><td colspan=”1″ rowspan=”1″><b>Recipient</b></td><td colspan=”1″ rowspan=”1″><b>University</b></td><td colspan=”1″ rowspan=”1″><b>Research title</b></td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/meeyoung-cha” data-cms-id=”00000196-f522-d957-a396-ff7e706b0000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/meeyoung-cha” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748968131452,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748968131452,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-f522-d957-a396-ff7e706b0000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-369f-d23f-a3ff-f6bfa3c00000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Meeyoung Cha","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-369f-d23f-a3ff-f6bfa3ba0000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Meeyoung Cha</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”190″ style=”border-left:none;width:143pt”>Max Planck Institute</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”219″ style=”border-left:none;width:164pt”>Forest-Blossom (Flossom): A New Framework for Sustaining Forest Biodiversity Through Outcome-Driven Remote Sensing Monitoring</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/jingrui-he” data-cms-id=”00000196-f520-d5f3-af9e-f5b5e8c40000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/jingrui-he” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748968175615,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748968175615,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-f520-d5f3-af9e-f5b5e8c40000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-369f-dd34-a3ff-7fdfd7930000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Jingrui He","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-369f-dd34-a3ff-7fdfd78d0000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Jingrui He</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”190″ style=”border-top:none;border-left:none;width:143pt”>University of Illinois at UrbanaChampaign</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”219″ style=”border-top:none;border-left:none;width:164pt”>Foundation Model Enabled Earths Ecosystem Monitoring</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/pedro-lopes” data-cms-id=”00000196-f51f-d957-a396-ff5f2bc00000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/pedro-lopes” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748968193127,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748968193127,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-f51f-d957-a396-ff5f2bc00000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-36a0-dd34-a3ff-7ff395080000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Pedro Lopes","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-36a0-dd34-a3ff-7ff394ff0000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Pedro Lopes</a></td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”190″ style=”border-top:none;border-left:none;width:143pt”>University of Chicago</td><td colspan=”1″ rowspan=”1″ class=”xl65″ width=”219″ style=”border-top:none;border-left:none;width:164pt”>AI-powered Tools that Enable Engineers to Make & Re-make Sustainable Hardware</td></tr><tr><td colspan=”1″ rowspan=”1″><a href=”https://www.amazon.science/research-awards/recipients/cheng-yaw-low” data-cms-id=”00000196-f524-d5f3-af9e-f5b5e2c60000″ data-cms-href=”https://www.amazon.science/research-awards/recipients/cheng-yaw-low” link-data=”{"cms.site.owner":{"_ref":"0000016e-17e7-d263-a5fe-fff724f30000","_type":"ae3387cc-b875-31b7-b82d-63fd8d758c20"},"cms.content.publishDate":1748968205207,"cms.content.publishUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"cms.content.updateDate":1748968205207,"cms.content.updateUser":{"_ref":"0000017f-b709-d2ad-a97f-f7fd25e30000","_type":"6aa69ae1-35be-30dc-87e9-410da9e1cdcc"},"rekognitionVideo.timeFrameMetadata":[],"link":{"rekognitionVideo.timeFrameMetadata":[],"attributes":[],"item":{"_ref":"00000196-f524-d5f3-af9e-f5b5e2c60000","_type":"07a8c4fb-2e5e-394d-8c44-6bb1ed9f87f6"},"_id":"00000197-36a0-d23f-a3ff-f6abc7f20000","_type":"c3f0009d-3dd9-3762-acac-88c3a292c6b2"},"linkText":"Cheng Yaw Low","theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.enhancementAlignment":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs.overlayText":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.hbs._preset":null,"theme.0000016e-17e8-d263-a5fe-fff8347d0000.:core:enhancement:Enhancement.amp.hbs._preset":null,"_id":"00000197-36a0-d23f-a3ff-f6abc7ed0000","_type":"809caec9-30e2-3666-8b71-b32ddbffc288"}”>Cheng Yaw Low</a></td><td colspan=”1″ rowspan=”1″ class=”xl67″ width=”190″ style=”width:143pt”>Max Planck Institute</td><td colspan=”1″ rowspan=”1″ class=”xl67″ width=”219″ style=”width:164pt”>Forest-Blossom (Flossom): A New Framework for Sustaining Forest Biodiversity Through Outcome-Driven Remote Sensing Monitoring</td></tr></tbody>

Tags: Generative AI

Read More