Toggle navigation
Home
Search
Services
Blog
Contact
About
An Imperative Mixed-Constructive Type Theory for Program Verification
Sasaki, James
University of Akron, Akron, OH, United States
Search 3 grants from James Sasaki
Search grants from University of Akron
Share this grant:
:
:
Abstract
Funding
Institution
Comments
Recent in Grantomics:
Your institution
vs. funders. Who wins?
Read more...
How should you pick the next fundable research topic?
Read more...
Recently viewed grants:
GH11-1193: Strengthening Integrated HIV and Cholera Care,
Yapese Against Drugs and Alcohol
Immunoregulatory Function of Myelomonocytic Receptors in HIV-1 Infection
Ulcerative colitis-associated cancer and its prevention
Growth Hormone Receptor Signal Transduction
Recently added grants:
CD47 as a therapeutic target for obesity
PGI2 inhibition of pulmonary innate allergic immune responses
The role of Enterococcus faecalis in alcoholic liver disease
Neuronal exosomes to identify biomarkers and pathology of deployment-related TBI
Mechanisms of Berberine for the Treatment of Non-Alcoholic Fatty Liver Disease
Abstract
Funding Agency
Agency
National Science Foundation (NSF)
Institute
Division of Computer and Communication Foundations (CCF)
Type
Standard Grant (Standard)
Application #
9696065
Program Officer
Frank D. Anger
Project Start
Project End
Budget Start
1995-08-28
Budget End
1998-08-31
Support Year
Fiscal Year
1996
Total Cost
$64,000
Indirect Cost
Institution
Name
University of Akron
Department
Type
DUNS #
City
Akron
State
OH
Country
United States
Zip Code
44325
Comments
Be the first to comment on James Sasaki's grant