Bypass Top Navigation NSF Home Page
About NSF
Funding
Publications
News & Media
Search Site Map
Site Map

Award Search  Search All Fields

Send Comments | Award Search Help
Awardee Information Program Information Search All Free-Text Search All Fields

Tab to Continue

  Hint: The text field below 'Search Award For' searches the title, abstract, and award number fields.

Magnifying Glass Icon Awardee Information

Principal Investigator

 

 

Magnifying Glass Icon Program Information

 

 

 

  Hint: This "Program" box searches both program element and program reference names and codes.

 

Magnifying Glass Icon Additional Information


(mm/dd/yyyy)

  From:  Calendar Icon
  To:  Calendar Icon


(mm/dd/yyyy)

  From:  Calendar Icon
  To:  Calendar Icon

  From: 
  To: 

  Hint: Historical data is from prior to 1976. This data may not be as complete as recent data.

 

Search Results

Results are sorted by award date, with the most recent awards at the top. Click on a column heading to re-sort the results.
The up/down arrows at the right of each column title control whether the sort is ascending or descending.
To view the abstract, click on the award number or title. Click on the data in other columns to perform a new search with that parameter.

12 awards found, displaying all awards.
Award Number Title NSF Organization Program(s) Start Date Principal Investigator State Organization
0430994 Metadata Model Management: Schema Mappings and Data Exchange IIS ITR-INFORMATION INTEGRATION 10/01/2004 Kolaitis, Phokion CA University of California-Santa Cruz
9907419 Collaborative Research: Constraint Satisfaction, Database Query Evaluation, and Information Integration IIS INFORMATION & DATA MANAGEMENT, WESTERN EUROPE PROGRAM 10/01/2000 Kolaitis, Phokion CA University of California-Santa Cruz
0086241 Educational Innovation: Collaborative Proposal: Integrating Logic into the Computer Science Curriculum CNS CISE RESEARCH INFRASTRUCTURE 09/15/2000 Kolaitis, Phokion CA University of California-Santa Cruz
9732041 Automated Deduction and Computational Complexity CCF THEORY OF COMPUTING 09/01/1998 Kolaitis, Phokion CA University of California-Santa Cruz
9610257 Aspects of Computation Theory and Logic CCF THEORY OF COMPUTING 07/01/1997 Kolaitis, Phokion CA University of California-Santa Cruz
9307758 Aspects of Computation Theory CCF THEORY OF COMPUTING 04/01/1994 Kolaitis, Phokion CA University of California-Santa Cruz
9024681 U.S.-Finland Cooperative Research in Finite Model Theory (Computer Science) OISE FINLAND 08/01/1991 Kolaitis, Phokion CA University of California-Santa Cruz
9108631 Aspects of Computation Theory CCF THEORY OF COMPUTING 07/01/1991 Kolaitis, Phokion CA University of California-Santa Cruz
8905038 Aspects of Computation Theory CCF THEORY OF COMPUTING 08/15/1989 Kolaitis, Phokion CA University of California-Santa Cruz
8896255 Mathematical Sciences: Uniform Definability and 0-1 Laws on Finite Structures DMS FOUNDATIONS, ALGEBRA,NUMBER THEORY,AND COM 07/01/1988 Kolaitis, Phokion CA University of California-Santa Cruz
8601988 Mathematical Sciences: Uniform Definability and 0-1 Laws on Finite Structures DMS FOUNDATIONS 07/01/1986 Kolaitis, Phokion CA Occidental College
8002763 Generalized Recursion Theory DMS FOUNDATIONS 07/01/1980 Kolaitis, Phokion IL University of Chicago

Hint: Most browsers allow you to save the exported file by right-clicking on the link and choosing "save link target" from the menu options. See the help for more information.


nsf.gov
| About NSF | Funding | Publications | News & Media | Search | Site Map | Help
NSF Celebrating 50 Years The National Science Foundation
4201 Wilson Boulevard, Arlington, Virginia 22230, USA
Tel: 703-292-5111, FIRS: 800-877-8339 | TDD: 800-281-8749
Policies
Contact NSF
Customize