Menu

Souhire KENAWI

ALFORTVILLE

En résumé

Mes compétences :
Objective CAML
Java
iOS
SQL
Microsoft Windows
Emacs
ECLiPSe
C Programming Language
Apache Subversion
Struts Web Application Framework
Spring Framework
Scala Accounting
Linux
Java Enterprise Edition
Java 2 Enterprise Edition
Hibernate
HTML
front office
back office
XML
UNIX
UML/OMT
Quality Control
Python Programming
Prolog
Preview
Personal Home Page
Objective C
NetBeans
MongoDB
Microsoft Office
Microsoft Excel
Microsoft Access
JavaServer Faces
JavaScript
Java Server Pages
JPA
HP Hardware
Frama
Drupal
Cascading Style Sheets
C++
Advanced RISC Machine (ARM)

Entreprises

  • AtoS Origin - Stage de fin d'études

    2014 - 2014 AtoS Origin Stage de fin d'études : Automatisation d'analyse des règles de codage sous Frama-C.
    * Mise à jour d'outils avec la dernière version du framework Frama-C
    * Installation à différents niveaux de Frama-C
    * Evolution d'un plugin Frama-C existant
    * Etude sur la transformation de code
    Environnement : Windows, Frama-C, OCaml, C ,Eclipse, Emacs ,SVN, MobaXTerm

  • Inria - Stage

    Le Chesnay 2013 - 2013 Inria/OCamlPro Stage M1 Génie informatique : Développement d'application iOS en OCaml.
    * Cross-compilation de Linux vers ARM.
    * Etude des différentes manières de construire une application en OCaml.
    * Analyse des méthodes de développement d'interface graphique pour iOS en OCaml.
    Environnement : OCaml, Linux, Emacs ,IOS ,Objective-C

Formations

Réseau

Pas de contact professionnel

Annuaire des membres :