Hakan Metin
Developpeur
34 ans
Permis de conduire
livry gargan (93190)
Situation professionnelle
En recherche d'emploi
En recherche active
Prototypage d'un OS sécurisé
Thales
Avril 2014
à août 2014
Stage
Gennevilliers
France
- Génération d'une distribution sur mesure
- Propriété de sécurité
Parallélisation d'un solveur SAT
Laboratoire d'Informatique de Paris 6
Juin 2013
à juillet 2013
- Dans une petite équipe j'ai parallélisé un solveur existant avec une gestion de la concurrence optimisé.
Exploitation des symétries dynamiques pour la résolution des problèmes SAT
Systèmes et Applications Répartis
- natation
- pêche
