$$\displaystyle \forall x \left( (x \in \text{Ideas}) \rightarrow (\exists y (y \in \text{Code} \land y \approx x)) \right)$$
I am an undergraduate student building an integrated research framework at the intersection of cognitive science, computer science, linguistics, and philosophy, connecting formal modeling, computational methods, and conceptual analysis, with a particular focus on language and humanistic data through computational linguistics and digital humanities.
-
Formalization of Cognition
Mathematical and computational models of inference, learning, perception, language, and decision-making. -
Computational Philosophy
Algorithmic and formal approaches to metaphysics, epistemology, philosophy of language, and philosophy of mind. -
Philosophy of Computation
Foundational investigations (practical and theoretical) into algorithms, complexity, proof, and information, and associated mathematical foundations and implications therein. -
Artificial Intelligence and Neural Networks
Theoretical and applied research on machine learning architectures, neuro-symbolic hybrid systems, and the philosophical foundations and implications of AI. -
Computational Linguistics & Digital Humanities
Formal and statistical approaches to natural language—syntax, semantics, and pragmatics—integrated with digital analysis of cultural and historical corpora.
- Formal cognitive modeling (symbolic and hybrid architectures)
- Logical systems (modal logic, type theory, non-classical logics)
- Computational foundations of philosophical problems
- Neural network architectures and learning dynamics
- Corpus-based models in computational linguistics
- Textual data analysis in digital humanities
- Applications of formal and computational methods in linguistics, philosophy, and humanities research
- Building interdisciplinary e 4DD2 xpertise across cognitive science, philosophy, linguistics, and computer science
- Preparing for graduate research in formal methods, cognitive modeling, artificial intelligence, and computational philosophy
- Integrating computational methods with philosophical analysis and humanistic interpretation
Beyond my primary research areas, I actively explore the design and analysis of programming languages, compiler construction, operating systems, and computer architectures. I also engage with computer graphics systems and computer audio systems, emphasizing both theoretical foundations and practical applications. Additionally, I have begun exploring information theory and the systems it has and can inspire, as well as quantum computing. I also engage in game development, as well as related game modding and lore-based projects, and apply insights and developments from my other areas of research, practice, and pursuit to such projects.