Frédéric Mangano-Tarumi

Mél. : fmang+cv@mg0.fr

Site personnel : https://www.mg0.fr/~fmang/

GitHub : https://github.com/fmang

LinkedIn : https://www.linkedin.com/in/frédéric-mangano-tarumi-557b73153


Compétences

Linux : 2 ans d’expérience professionnelle à administrer des systèmes, expérience personnelle depuis 2006.

C++ : 2 ans d’expérience professionnelle, expérience personnelle depuis 2006

Python : 2 ans d’expérience professionnelle.

C : comme sujet d’étude avec les méthodes formelles, lors de maintenance de code en entreprise, et pour quelques projets personnels.

Perl : automatisation telle que l’édition automatique de code, ou de texte en général. Également pour des projets Web.

PostgreSQL : base de données relationnelle de prédilection.

Arch Linux : système d’exploitation primaire tant côté PC que serveur depuis 2010.

Français, anglais, japonais.


Parcours

Analyste-programmeur C++. GIRO, Montréal.

Développement de la plateforme d’une solution complexe de gestion et d’optimisation de transports en commun. Travail dans une immense base de code monolithique. Maintenance et modernisation d’ancien code. Contexte de support à très long terme. Développement agile.

Technologies : Microsoft Windows, C++17, C#, Microsoft SQL Server, Jenkins.

Ingénieur DevOps. 1000mercis, Paris.

Développement d'applications de traitement de messages en temps réel à fort débit sur une infrastructure distribuée. Architecture en microservices. Exigences de haute disponibilité. Métriques et gestion des alertes. Traitement de données massives.

Technologies : Python, RabbitMQ, MongoDB, Git, nginx, Gentoo Linux.

Master 2 Informatique : fondements de l'informatique et ingénierie du logiciel. Université Paris-Saclay, Orsay.

Détails du programme : https://www.lri.fr/~conchon/parcours_fiil/

Vérification formelle de programme : analyse statique, vérification déductive. Théorie des langages et compilation. Algorithmique distribuée.

Technologies : OCaml, C++11, C, Coq, MPI, OpenMP, Frama-C.

Vérification de modules critiques de systèmes d'exploitation et d'hyperviseurs. CEA List Saclay, Palaiseau.

Stage de fin d’étude de recherche en informatique de 6 mois.

Étude d'un micronoyau d'hyperviseur sécurisé pour ARM en C : vérification déductive avec Frama-C, 2 vulnérabilités découvertes. Modélisation Coq d'un hyperviseur simplifié à des fins d'exploration. Étude d'un module critique d'allocation mémoire du système d'exploitation Contiki.

Publication : Frédéric Mangano, Simon Duquennoy, and Nikolai Kosmatov. Formal Verification of a Memory Allocation Module of Contiki with Frama-C : a Case Study. Proceedings of the International Conference on Risks and Security of Internet and Systems (CRiSIS 2016), Roscoff, France, September 2016.

Formalisation Coq de la concurrence dans les bases de données. LRI, Gif-sur-Yvette.

Stage de recherche en informatique de 2 mois.

Première année du cycle ingénieur. Grenoble INP - Ensimag, Grenoble


Projets personnels

Voir aussi https://git.mg0.fr/

Jeu de rythme en C++ avec SDL2 et ffmpeg. github.com/fmang/oshu

Éditeur de méta-données audio Opus. github.com/fmang/opustags

Interface Web de contrôle de lecteur multimedia. Contrôle infra-rouge par une API REST. Back-end Perl via FastCGI, front-end HTML, CSS, JavaScript. github.com/fmang/geso

Dictionnaire numérique japonais–anglais. Back-end Perl via FastCGI, front-end HTML, CSS. github.com/fmang/wish

Extension pour la protection de la vie privée pour le navigateur Web Luakit en Lua et SQLite. git.mg0.fr/luakit-privacy

Explorateur en ligne d'archives. Back-end C via FastCGI, front-end HTML, CSS. github.com/fmang/calf

Plateforme Web de publication de musique amateur (co-fondée). 7000 soumissions et 2400 utilisateurs inscrits en 2015. Back-end C++ via FastCGI. Bases de données PostgreSQL et Redis. Front-end HTML, CSS, JavaScript. github.com/eqbeats/eqbeats

Noyau jouet écrit en C pour architecture x86. Interface et communication inter-processus par IRC. git.mg0.fr/lastos

Navigateur Web extensible basé sur WebKitGTK+ en C. github.com/fmang/luminescence

Logiciel de partage d'écran pour assistance à distance, en C++ avec Qt4.