Frédéric Mangano

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-557b73153

Linux : système d’exploitation principal, tant personnellement que professionnellement.

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

Python : 2 ans d’expérience professionnelle.

Ruby : 2 ans d’expérience professionnelle.

Perl : automatisation telle que l’édition automatique de code, ou de texte en général.

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

Français, anglais, japonais.

Ingénieur R&D. Cyberwatch, Massy.

Développement d’une solution de détection et supervision de vulnérabitités sur un parc informatique.

Technologies : Ruby on Rails, MySQL, Docker, Linux.

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.

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

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

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

É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

Extension pour la protection de la vie privée pour le navigateur Web Luakit en Lua et SQLite.

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.

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

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