À propos
Master's Student · Theoretical Computer Science
Je suis étudiant en préparation de master, avec des intérêts de recherche à l'intersection de la logique mathématique, de la théorie des types et des fondements théoriques du calcul. Mon objectif à long terme est de comprendre comment les méthodes formelles et la logique peuvent clarifier — et contraindre — ce que les systèmes informatiques peuvent accomplir.
La question n'est pas de savoir si les machines peuvent penser, mais si nous pouvons savoir quand elles le font — et ce que cette question signifie réellement.
Je lis beaucoup — mathématiques, philosophie de l'esprit et de la fiction occasionnelle. Je garde des notes sur mes lectures dans mes essais. J'aime aussi la photographie et les longues promenades dans des lieux à l'architecture remarquable.essays
Formation
Your University
Master's Preparatory Program · Department of Computer Science
- Focus: mathematical logic, type theory, computational complexity
- GPA: X.XX / 4.00
Intérêts de recherche
- Proof theory & type theory — Curry–Howard correspondence, dependent types, proof assistants (Coq, Lean 4, Agda), normalization by evaluation
- Mathematical logic — Model theory, set theory, computability theory, descriptive complexity
- Computational complexity — Circuit complexity, oracle separations, interactive proofs, randomized algorithms
- Foundations of ML — PAC learning theory, VC dimension, statistical learning theory, information-theoretic bounds
Expérience de recherche
Research Assistant
Your University · Supervisor: Prof. X
Investigating the expressibility of higher-order recursion schemes via game semantics and modal mu-calculus.
Publications
Compétences
Langages
Mathématiques
Outils
Langues
Distinctions
Contact
Email: you@example.com
GitHub: github.com/yourhandle