Grant: Postdoctoral Fellowships
University of California - San Diego
$22,500.00
Connections Between Proofs and Circuits with Practical Applications
EF 2021-22
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
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
2021
Competition year année de concours
2021
Award amount
22500
Program id
PDF
Program name en
Postdoctoral Fellowships
Program name fr
Bourses postdoctorales
Group en
Training programs
Group fr
Programmes de bourse
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:1; 2
Partie
2
Nb partie
5
Application title
Connections Between Proofs and Circuits with Practical Applications
Keyword
NSERC
Application summary
Complexity Theory, Proof Complexity, Theoretical Computer Science, Cutting Planes, Circuit Complexity, Monotone Circuits, Integer Programming, Perfect Matching, Lower Bounds, Hardness Escalation
