Faculty profile
Antonina Kolokolova
Back to facultyThis profile is built from public research funding records (CIHR, NSERC and SSHRC) and PubMed. We have not imported them from a Memorial University of Newfoundland directory, so their courses and email address may be missing. Find their university profile.
Research
Latest papers
Reclaiming AI as a Theoretical Tool for Cognitive Science.
Computational brain & behavior · 2024
Lessons for Theory from Scientific Domains Where Evidence is Sparse or Indirect.
Computational brain & behavior · 2024
Latest funding
- $104,000
Meta-complexity through the lens of proofs
NSERC · 2023 · Principal investigator
- $174,000
Efficient computation in the real world
NSERC · 2015 · Principal investigator
- $17,500
Detecting spikes and other motifs in environmental data streams
NSERC · 2014 · Principal investigator
2 publications.
Reclaiming AI as a Theoretical Tool for Cognitive Science.
van Rooij I, Guest O, Adolfi F, de Haan R, Kolokolova A, Rich P
Lessons for Theory from Scientific Domains Where Evidence is Sparse or Indirect.
Woensdregt M, Fusaroli R, Rich P, Modrák M, Kolokolova A, Wright C, Warlaumont AS
Meta-complexity through the lens of proofs
Principal investigators: Kolokolova, Antonina
Keywords: meta-complexity; constructive proofs; proof complexity; circuit complexity; barriers; bounded arithmetic; learning algorithms; lower bounds
Efficient computation in the real world
Principal investigators: Kolokolova, Antonina
Detecting spikes and other motifs in environmental data streams
Principal investigators: Kolokolova, Antonina
Complexity in logic
Principal investigators: Kolokolova, Antonina
From CIHR, NSERC and SSHRC funding decisions: CIHR since 2008, NSERC since 1991 and SSHRC since 1998, including their latest published competition results.
A short, specific email works best. This draft uses one of their recent papers; replace the parts in brackets with your own details before sending.