$$\displaystyle \forall x \left( (x \in \text{Ideas}) \rightarrow (\exists y (y \in \text{Code} \land y \approx x)) \right)$$
- Semantics & Parsing • NLP & Formal Languages • Computational Linguistics • Algorithms & Compilers • Interpretable AI • Knowledge Graphs & Provenance
- Programming languages · Operating systems · Digital media & sound · Computer graphics · Game design & simulation
