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:
Technical Assistance in Support of HIV Prevention, Care and Treatment Programs an
Occupational Safety and Health Training Project Grant
Early Math Learning and Assessment Software for Students and Teachers
Roles of IL-I and IL-6 in Bacterial Induced Fevers
Standing Strong: Targeted Prevention for Indian Youth
Recently added grants:
Cerebellar-cerebro cortical circuits in ASD
Synaptic basis of perceptual learning in primary auditory cortex
Analysis of a large family of taste receptors
Aminophospholipid Signaling in Olfactory Transduction
Understanding Ciliary Functions in Mammalian Development
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