Paul ADAM
|
 |
|
|
Etudiant au MPRI (master parisien de recherche informatique).
|
|
PAUL ADAM
poladam2002@gmail.com
00 33 6 52 45 46 93 |
| Utrecht, Pays Bas |
| Utrecht University |
|
| Stage de Recherche Master 1 |
| Interface (FFI) entre Rust et C |
|
|
Écriture en Coq d'une sémantique d'un interpréteur d'une sous partie de Rust et C. Cet interpreteur selon certaines conditions assurent les préconditions du Rust même lors de l'exécution de code C sur les structures de données Rust.
| Rennes, France |
| INRIA - SQUIRREL |
|
| Projet de Recherche Master 1 |
| Système de Type pour du Borrow Checking |
|
|
Ecriture d'une sémantique et d'un système de type pour une partie du langage Rust sous la direction de David Baelde en parallèle de mes cours de Master 1. L'objectif étant d'assurer des propriétés de Borrow checking. Travail réutilisé dans un cours de Licence d'introduction au Rust.
| Rennes, France |
| INRIA - DIVERSE |
|
| Stage de Recherche Licence 3 |
| HyperAST |
|
|
Travaille sur le projet HyperAST de l'équipe de recherche DIVERSE. Cette structure de donnée permet d'analyser des historiques git. A chaque commit est associé un AST, l'HyperAST prend en compte le temps pour stocker une image complète d'un projet ce qui permet une analyse plus rapide.
| ENS Rennes, France |
Master 2 Agrégation Informatique |
| Admis 4e 15.25 / 20.0 |
2024 - 2025 |
|
Cours : Apprentissage, IA, Langage Formel, Programmation Théorique et Compilation, Sémantique (Logique, Lambda Calcul), Calculabilité, Architectures, Réseaux, Systèmes d'exploitations, Algorithmique, Bases de données.
| ENS Rennes, France |
Master 1 Recherche Informatique |
|
Cours : Logique et représentation des connaissances, Machine Learning, Compilation, Philosophie et Espitémologie, Théorie de l'information, Logique Avancée, Parallel programming, Advanced Operating System.
| ENS Rennes, France |
Licence 3 Informatique |
|
Cours : Algorithmiques, Programmation C, Ocaml et C++, Cryptographie, Logique, Architecture et Système, Calculabilité, Sémantique et preuve de programme, Analyse d'images, Théorie de la complexité.
| ENS Rennes, France |
Licence 3 Mathématiques |
|
Cours : Intégration de Lesbegues, Théorie des groupes, Probabilité et Statistiques, Anneaux et Corps, Topologie Générale, Calcul Différentiel, Optimisation, Espaces vectoriels normés.
| Blaise Pascal, France |
Classe Préparatoire Scientifique MPSI - MP* |
|
Cours : Mathématique (Algèbre, Probabilités, Calcul Intégral, Analyse, Equations Différentielles), Physique (Mécanique classique, Physique Quantique, Electromagnétisme, Mécanique Statistiques, Physique des particules, Chimie), Informatique (Programmation Ocaml, Théorie des graphes).
| Sainte Marie, France |
Lycée - Baccalauréat |
|
- Hobbies : Joue de la trompette depuis 15 ans après 10 ans de conservatoire, Cinéma, Musique classique et variété.
- Langages de programmation : Rust, Ocaml, C, C++, Ocaml, Python, Java, HTML-CSS-Javascript.
- Langues : Francais (natif), Anglais (fluide, TOEIC 925 / 990), Alemand (intermédiaire, B1), Esperanto (débutant).
|
|
PAUL ADAM
poladam2002@gmail.com
00 33 6 52 45 46 93 |
| Utrecht, Pays Bas |
| Utrecht University |
|
| Research Intership First Year Master |
| Rust & C Foreign Function Interface (FFI) Semantics |
|
|
Theoretical semantics of an interpreteur of both C and Rust (simplified version). This simple interpreter assures good behavior even for C and Rust code changing shared structures of data.
| Rennes, France |
| INRIA - SQUIRREL |
|
| Research Project First Year Master |
| Types to Enforce Borrow Checking Properties |
|
|
Establish the semantics of a small subset of Rust under the supervision of David Baelde. Writing a type checker and a borrow checker for this language. Proof that if a program types, then it does not have any memory errors during execution.
| Rennes, France |
| INRIA - DIVERSE |
|
| Research Internship Third Year Bachelor |
| HyperAST |
|
|
Work on the HyperAST project with the DIVERSE research team. This tool in development aims at analyzing git history in a more efficient way. For each commit we get an AST, the HyperAST takes the time into account to store a complete image of a complete git history that can be searched faster than any other state-of-the-art method.
| ENS Rennes, France |
Second Year Computer Science Master |
| Admis 4e 15.25 / 20.0 |
2024 - 2025 |
|
Cours : Machine Learning, Automata Theory, Programming Langage Theory, Compilation, Parsing, Sémantics, Lambda Calculus, Calculability, Computer Architecture, Networks, Operating Systems, Algorithmics, Database Theory.
| ENS Rennes, France |
First Year Computer Science Research Master |
|
Cours : Logic and Knowledge Representation, Machine Learning, General Compiler Concept, Philosophy and Epistemology, Information Theory, Programmation Parallèle, Systèmes d'exploitations.
| ENS Rennes, France |
Third Year Computer Science Bachelor |
|
Cours : Advanced Algorithm, Programming in C, Ocaml and C++, Cryptography, Logic, Architecture and System, Theory of Computability, Semantics and proof assistants, Image and Signal Processing, Complexity Theory.
| ENS Rennes, France |
Third Year Mathematics Bachelor |
|
Cours : Lebesgue Integration, Group Theory, Statistics and Probability, Rings and Arithmetic, General Topology, Differential Calculus, Optimisation, Normed Vector Spaces.
| Blaise Pascal, France |
First and Second Year Scientific Bachelor |
|
Cours : Mathematics (Algebra, Probability, Integral calculus, Analysis, Differential equation), Physics (Classical Mechanics, Quantum Mechanics, Electromagnetism, Statistical Mechanics, Quantum Field Theory, Particle Physics), Computer Science (Ocaml programming, Graph theory).
| Sainte Marie, France |
HighSchool Graduation |
|
- Hobbies : I love playing the trumpet for 15 years, love watching films, playing and listening to classical music and jazz.
- Programming Langages : Rust, Ocaml, C, C++, Ocaml, Python, Java, HTML-CSS-Javascript.
- Langages : French (native), English (fluent, TOEIC 925 / 990), German (intermediate, B1), Esperanto (beginner).
