Grant: Postdoctoral Fellowships
University of California - San Diego
$11,250.00
Connections Between Proofs and Circuits with Practical Applications
EF 2022-23
Résumé
Complexity Theory, Proof Complexity, Theoretical Computer Science, Cutting Planes, Circuit Complexity, Monotone Circuits, Integer Programming, Perfect Matching, Lower Bounds, Hardness Escalation
Programme
Postdoctoral Fellowships
Bénéficiaire
Emplacement
California, UNITED STATES
Type de bénéficiaire
Not-for-profit organization or charity
Type
Grant
Source
NSERC's Awards Data
Tel que publié
Application id
557423-2021
Name nom
Fleming, Noah NRF
Department département
Computer Science & Engineering
Organization id
1188
Institution établissement
University of California - San Diego
Province en
California
Province fr
Californie
Country en
UNITED STATES
Country fr
ÉTATS-UNIS
Fiscal year exercice financier
2022
Competition year année de concours
2021
Award amount
11250
Program id
PDF
Program name en
Postdoctoral Fellowships
Program name fr
Bourses postdoctorales
Group en
RESEARCH TRAINING AND TALENT DEVELOPMENT
Group fr
FORMATION EN RECHERCHE ET PERFECTIONNEMENT DES COM
Committee code
198
Committee name en
S&F Committee for Computing Sciences
Committee name fr
Comité de sélection des bourses en informatique
Area of application code
9999
Area of application group en
Not available
Area of application group fr
Non disponible
Area of application en
Not available
Area of application fr
Non disponible
Research subject code
2712
Research subject group en
Information technology
Research subject group fr
Technologie de l'information
Research subject en
Theory of computation
Research subject fr
Théorie de calcul
Installment
inst:3
Partie
1
Nb partie
3
Application title
Connections Between Proofs and Circuits with Practical Applications
Application summary
Complexity Theory, Proof Complexity, Theoretical Computer Science, Cutting Planes, Circuit Complexity, Monotone Circuits, Integer Programming, Perfect Matching, Lower Bounds, Hardness Escalation
