$$\displaystyle \forall x \left( (x \in \text{Ideas}) \rightarrow (\exists y (y \in \text{Code} \land y \approx x)) \right)$$
- Formal Methods • Computational Philosophy and Logic • Semantics & Parsing • Computational Cognitive Science • Interpretable AI • NLP & Formal Languages • Computational Linguistics • Algorithms & Compilers • Knowledge Graphs & Provenance • Language Implementation • Programming Languages
· Operating Systems and Security · General AI/ML · Digital Media & Sound · Computer Graphics · Game Design & Simulations
