Bonjour, et bienvenue sur ma page personnelle.
Je m’appelle Chen Yuliang, étudiant en licence à l’Université des sciences et technologies de Chine (USTC), admis en 2025 dans la Classe Hua Luogeng pour les talents en mathématiques au sein de l’École des jeunes surdoués. Je m’intéresse aux mathématiques pures, à la vérification formelle de preuves et à l’apprentissage automatique, et j’apprends actuellement à écrire des théorèmes ligne par ligne pour qu’un ordinateur puisse les vérifier, à l’aide de Lean.
J’espère un jour faire quelque chose d’intéressant à l’intersection des mathématiques et de l’informatique.
🎓 Formation
- 2025 – aujourd’hui Université des sciences et technologies de Chine — Classe Hua Luogeng pour les talents en mathématiques, École des jeunes surdoués
🔬 Projets
Groupe de lecture sur la preuve formelle en Lean Assistant d’enseignement · Avr. 2026 – aujourd’hui
- Co-organisation d’un groupe de lecture interne sur la formalisation en Lean, dirigé par Tianyang Sun (doctorant, École des sciences mathématiques)
- Étude de la formalisation de théorèmes classiques en théorie des types dépendants, et accompagnement des étudiants face aux obstacles courants des preuves Lean
- Notes de cours, sources Beamer et enregistrements : github.com/cccyyylll888/Lean4-group
Apprentissage automatique et séries temporelles pour la prédiction de matchs de football · Prévu juil. – août 2026
- Programme d’été de recherche en ligne de l’Université de Cambridge (admis)
- Exploration de l’utilisation de l’apprentissage automatique et des séries temporelles pour prédire l’issue de matchs de football
🏆 Distinctions
- Premier prix (finale nationale), 17ᵉ Concours national de mathématiques pour étudiants de licence (division inférieure, filière mathématiques)
- Premier prix (province de l’Anhui), Concours national de mathématiques pour étudiants de licence (division inférieure, filière mathématiques)
- Médaille d’argent, Olympiades chinoises de mathématiques au lycée
- Premier prix (province du Guangdong), Olympiades nationales d’informatique en provinces (NOIP)
✉️ Contact
- Email cyl2500@mail.ustc.edu.cn
- GitHub @cccyyylll888
Pour en savoir plus à mon sujet, consultez la page À propos.