Mathematician in training. Builder by necessity. Writer at heart.
I'm a 6th semester Computer Science undergraduate at Tecnológico de Monterrey. My degree is software engineering in practice — but I am a mathematician at heart, building toward that identity deliberately.
I study mathematical logic, theory of computation, and the formal foundations of artificial intelligence. Not because they appear on a syllabus — but because they reveal something real about the nature of thought itself.
I'm applying to European masters programs in logic and theoretical CS. MSc is my north star.
§2.4 — Structures and truth in first-order logic.
Formalizing ethical constraints in Standard Deontic Logic. Three theorems: consistency, completeness, lattice structure.
Logic, number theory, set theory. SNI researcher, retired logician, invaluable mentor.
Exchange semester before masters applications in October.
Writing is a large part of who I am — essays, fiction, poetry. I think through writing. I understand through writing. Some thoughts only become clear when they're on a page.
Read my writing ↗Fiction that thinks. Nonfiction that unsettles.
Wordsworth, Keats, Mary Shelley. The Romantic poets understood something about the sublime that modern thought has mostly forgotten. I return to them constantly.
Daily gym. Intentional eating. Consistent sleep. I treat my body the same way I treat a proof — with care, structure, and respect for the process. Clear head, clear thought.
I lean Platonist. Mathematical objects feel discovered, not invented. Gödel believed this too. The unreasonable effectiveness of mathematics in physics is hard to explain otherwise.
The question I keep returning to: can machines be kind? Not just capable — kind. That question is what turned me from an engineer into a mathematician. It still keeps me going.
First professional experience. SQL, Python pipelines, cohort analytics. The beginning.
The semester I stopped seeing CS as code and started seeing it as the study of thought. Turing speaks. Everything shifts.
Built BRAIN from first principles. First formal paper. First production AI system. Full autonomy, full responsibility.
Self-directed curriculum in mathematical logic, TOC, linear algebra, and quantum computing. Weekly sessions with Dr. Oliart. The cathedral under construction.
Leading development of three AI agents for insurance. Deontic logic paper in progress. Masters applications in October.
Scouting European academic culture. Meeting researchers. Finalizing applications.
The north star. Mathematical logic, proof theory, dynamic epistemic logic. The place this entire trajectory points toward.