12 Grants
2022
IUCRC Phase I Indiana University: Center for Quantum Technologies (CQT)
Baxter, DavidSabry, AmrDecca, RicardoOrtiz, GerardoGumennik, Alexander and Chia, Nai Hui
National Science Foundation (NSF), Directorate For Engineering, Div Of Engineering Education and Centers (ID: 2224928), $120,000USD, 2022-09-01 -- 2027-08-31
2019
QII-TAQS: Simulating Entangled Quantum Chemical Abstract Machines
Sabry, AmrIyengar, SrinivasanSmith, Jeremy and Richerme, Philip
National Science Foundation (NSF), Direct For Mathematical & Physical Scien, MPS Multidisciplinary Activities (ID: 1936353), $1,994,238USD, 09/01/2019 -- 08/31/2023
2012
SHF: Small: Information Effects
Sabry, Amr
National Science Foundation (NSF), Directorate for Computer & Information Science & Engineering, Division of Computing and Communication Foundations (ID: 1217454), $275,319USD, 09/01/2012 -- 08/31/2015
2011
SHF: Small: Effectful Software Contracts
Sabry, Amr and Ahmed, Amal
National Science Foundation (NSF), Directorate for Computer & Information Science & Engineering, Division of Computer and Communication Foundations (ID: 1117635), $440,760USD, 08/01/2011 -- 11/30/2011
 
SHF: Small: Reversible Concurrency
Brown, Geoffrey and Sabry, Amr
National Science Foundation (NSF), Directorate for Computer & Information Science & Engineering, Division of Computer and Communication Foundations (ID: 1116725), $317,477USD, 08/01/2011 -- 07/31/2014
2002
Grants for the Summer School on the proofs-as-programs paradigm
Sabry, Amr
NSF, MICROSOFT, INRIA, ACMSIGPLAN, THE UNIVERSITY OF OREGON, AND INDIANA UNIVERSITY, $40,000, Jun 24, 2002 -- Jul 5, 2002
 
Syntactic Theories: Their Automation and Logical Foundation
Sabry, Amr and Ariola, Zena
National Science Foundation (NSF), Directorate for Computer & Information Science & Engineering, Division of Computing and Communication Foundations (ID: 0204389), $159,998USD, 07/15/2002 -- 06/30/2006
2001
A Scheme Compiler for .NET
Sabry, Amr
Microsoft Research, $14,300, Jul 2001 -- Jul 2002
2000
CAREER: Controlling Space Properties of Higher-Order Typed Programs
Sabry, Amr
National Science Foundation (NSF), Directorate for Computer & Information Science & Engineering, Division of Computing and Communication Foundations (ID: 0196063), $71,125USD, 08/01/2000 -- 05/31/2003
1998
CAREER: Controlling Space Properties of Higher-Order Typed Programs
Sabry, Amr
National Science Foundation (NSF), Directorate for Computer & Information Science & Engineering, Division of Computing and Communication Foundations (ID: 9733088), $148,004USD, 06/01/1998 -- 12/31/2000
 
Controlling Space Properties of Higher-Order Typed Programs
Sabry, Amr
NSF, $200,000, Jun 1998 -- Jun 2003
1997
Quality of Service Dynamic Validation Qualifiers –The ASSERT System
Sabry, Amr
Darpa, $1,100,000, Jul 1997 -- Jul 2000