Grant: Discovery Grants Program - Individual
Memorial University of Newfoundland
$29,000.00
Efficient computation in the real world
EF 2021-22
Résumé
complexity theory; lower bounds; proof complexity; SAT heuristics
Programme
Discovery Grants Program - Individual
Bénéficiaire
Emplacement
Newfoundland and Labrador, Canada
Type de bénéficiaire
Academia
Type
Grant
Source
NSERC's Awards Data
Tel que publié
Application id
RGPIN-2015-06245
Name nom
Kolokolova, Antonina
Department département
Computer Science - Computer Science
Organization id
89
Institution établissement
Memorial University of Newfoundland
Province en
Newfoundland and Labrador
Province fr
Terre-Neuve-et-Labrador
Country en
CANADA
Country fr
CANADA
Fiscal year exercice financier
2021
Competition year année de concours
2015
Award amount
29000
Program id
RGPIN
Program name en
Discovery Grants Program - Individual
Program name fr
Programme de subventions à la découverte - individuelles
Group en
Discovery grants programs
Group fr
Programmes de subventions à la découverte
Committee code
1507
Committee name en
Computer Science
Committee name fr
Sciences informatiques
Area of application code
1207
Area of application group en
Advancement of knowledge
Area of application group fr
Avancement des connaissances
Area of application en
Information, computer and communication technologies
Area of application fr
Technologie de l'information, des ordinateurs et des réseaux de communications
Research subject code
2703
Research subject group en
Information technology
Research subject group fr
Technologie de l'information
Research subject en
Complexity
Research subject fr
Complexité
Installment
inst:5
Partie
1
Nb partie
6
Application title
Efficient computation in the real world
Keyword
NSERC
Application summary
complexity theory; lower bounds; proof complexity; SAT heuristics
