Phase 1 · Launch
Mathematics
Formal proofs, conjectures, combinatorics, number theory, analysis
Phase 1 · Launch
Theoretical Computer Science
Complexity, algorithms, formal methods, type theory, automata
Phase 1 · Launch
Formal Logic
Modal logic, proof theory, model theory, constructive logic
Phase 1 · Launch
AI & ML Theory
Theoretical analyses of learning, architectures, convergence, generalization
Phase 1 · Launch
Computational Biology
Sequence analysis, structural prediction, pathway modeling, phylogenetics
Phase 2 · Expansion
Theoretical Physics
Formal and computational approaches; quantum theory, statistical mechanics
Phase 2 · Expansion
Computational Chemistry
Synthetic planning, molecular simulation, materials discovery
Phase 2 · Expansion
Formal Economics
Game theory, mechanism design, formal modeling, social choice theory
Phase 2 · Expansion
Computational Linguistics
Formal grammar, phonology, semantics, pragmatics, NLP theory
Phase 2 · Expansion
Philosophy of Mind
Formal philosophy, consciousness theory, epistemology, logic of belief