amina bousalem - Étudiante en Master 2 Informatique à l'Université Paris Sud.Je suis à la recherche d'un contrat de travail à partir du mois de septembre.Très passionnée par l'ingénierie du logiciel.

Votre navigateur est obsolète !

Pour une expériencenet et une sécurité optimale, mettez à jour votre navigateur. Mettre à jour maintenant

CV réalisé sur DoYouBuzz

Expériences

Démonstration automatique en coq.
faire interagir Coq avec des prouveurs automatiques externes de satisfiabilité(prouveurs SAT et SMT).

réalisation d'un Jeu de Labyrinthe
Technologies: C++ , Java.

Réalisation d'un simulateur stochastique pour les réactions biochimiques.
Analyseur lexical et syntaxique.
simulateur séquentiel et parallèle
Technologies : C++, OpenGL

Réalisation d'un site pour une médiathèque.
Téchnologies: UML, SQL, HTML, CSS, PHP

Mise en place d’un système de détection et de prévention d’intrusions.
Etude de l’architecture réseau de L’entreprise.
Mise en place de la solution à divers points du réseau (création et initialisation de la base de données + Editiondes règles de sécurité).
Rédaction de la documentation technique.
Technologies utilisées : WireShark, SGBD MySQL.

En savoir +

Formations

Parcours fondements de l'informatique et Ingénierie de logiciels:

Scientifique ,avec mention Bien.

Compétences

C++

Bon niveau
C

Intermédiaire
PHP,HTML,CSS

Intermédiaire
Java

Intermédiaire
Caml

Intermédiaire
Coq

Intermédiaire
OpenMP

Bon niveau

Linux :Fedora,Ubuntu

Bon niveau
Windows

Bon niveau

Microsoft office (word , excel ,powerpoint).

Avancé
PacketTracer

Bon niveau
Pragma studio.

Intermédiaire
Isabelle

Avancé
Wireshark

Avancé

Centres d'intérêt

Français , Anglais

Découverte de nouvelles cultures ,langues

Volleyball
Basketball