Mes compétences :
Formal Verification
Spotfire
Objective-C
SVN
C
Middleware
XML
Microsoft Office
Eclipse
Algorithmie
Merise
MATLAB
OpenOffice
SQL
Maple
Fortran
C#
Python
Linux
Browsers
UML
C++
CAML
Java
Java EE
Pascal
Programmation informatique
VHDL
OpenGL
Xcode
VPN
Shell
ROS
Programmation orientée objet