Paul ADAM
|
 |
|
|
Etudiant au MPRI (master parisien de recherche informatique).
 |
|
Passionné par l'informatique je l'étudie depuis 5 ans et code régulièrement dans de multiples langages. Actuellement en Master d'informatique, j'aime passer mon temps libre à jouer de la trompette et écouter de la musique et participe à une fanfare. Parlant courrament Français et Anglais, je regarde beaucoup de films et de séries. |
| Rennes, France |
| IRISA - Magellan |
|
| Stage de Recherche Master 2 |
| Sémantique et Typage du langage Lil |
|
|
Decker est une platforme multimédia permettant de créer des applications graphiques. Le langage de script Lil permet de programmer des comportements dans ces applications graphiques. Ce stage étudit ce langage de script dans l'objectif de le spécifier et de lui trouver un sytème de types.
| 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.
| Université Paris Cité |
Master 2 MPRI |
|
Cours : Modèle de calcul de la logique linéaire, Modèles des langages de programmation par les domaines et category, Modélisation des automates finis, Correction d'erreur et cryptographie, Langage fonctionnel et système de types, Fondation des systèmes de preuves, Langage de programmation synchrone.
| ENS Rennes, France |
Master 2 Agrégation Informatique |
| Admis 4e 15.25 / 20.0 |
2024 - 2025 |
|
Cours : Apprentissable, 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 |
|
| ENS Rennes, France |
Licence 3 Mathématiques |
|
| Blaise Pascal, France |
Classe Préparatoire Scientifique MPSI - MP* |
|
| Sainte Marie, France |
Lycée - Baccalauréat Scientifique |
|
|
|
Passionné par l'informatique je l'étudie depuis 5 ans et code régulièrement dans de multiples langages. Actuellement en Master d'informatique, j'aime passer mon temps libre à jouer de la trompette et écouter de la musique et participe à une fanfare. Parlant courrament Français et Anglais, je regarde beaucoup de films et de séries. |
| Rennes, France |
| IRISA - Magellan |
|
| Stage de Recherche Master 2 |
| Sémantique et Typage du langage Lil |
|
|
Decker est une platforme multimédia permettant de créer des applications graphiques. Le langage de script Lil permet de programmer des comportements dans ces applications graphiques. Ce stage étudit ce langage de script dans l'objectif de le spécifier et de lui trouver un sytème de types.
| 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.
| Université Paris Cité |
Master 2 MPRI |
|
Cours : Modèle de calcul de la logique linéaire, Modèles des langages de programmation par les domaines et category, Modélisation des automates finis, Correction d'erreur et cryptographie, Langage fonctionnel et système de types, Fondation des systèmes de preuves, Langage de programmation synchrone.
| ENS Rennes, France |
Master 2 Agrégation Informatique |
| Admis 4e 15.25 / 20.0 |
2024 - 2025 |
|
Cours : Apprentissable, 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 Scientifique |
|
- 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).
| Rennes, France |
| IRISA - Magellan |
|
| Stage de Recherche Master 2 |
| Sémantics et Typing of the language Lil |
|
|
| 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.
| Université Paris Cité |
Master 2 MPRI |
|
Cours : Computing models of linear Logic, Models of programming langages with domains and category, Finite automata modeling, Error correcting codes and cryptography, Functional programming and type system, Fondation of proof system, Synchronous programming langages.
| 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).