|
|
|
|
|
|
|
|
books I consider as references in their applications fields |
|
software life-cycle |
|
Computer Science Expertise |
|
| Algorithmic | proof, space complexity, time complexity, calculability, logics, lambda-calculi, distributed and parallel computing |
| Methodologies |
UML, design patterns, software life-cycles, OOP/OOD, model checking |
| Operating Systems |
Linux, cygwin over Windows Windows 9x-NTx, UNIX Solaris |
| Database |
Oracle, SQL2, PL/SQL, methodologies |
| Networks/Web |
OSI, TCP/IP, sockets, protocols, RFCs (HTTP, FTP, ...) , W3C Recommendations (XML, HTML, CSS, Web Services, ...) , administration notions (LAN, WAN, FireWalls, ...) |
|
CORBA , RMI , EJB, SugarCubes , SNMP, ASN.1, HTML, CSS, JavaScript, PHP |
|
| Programming languages |
C/C++, Pascal, ADA95 , scripts shell (sh, csh, awk, ...), CAML light , EIFFEL, JAVA , JVM byte code , TCL/TK , SPIN (Formal Verification), VHDL , Verilog, Esterel , LogicWorks, lex/flex, yacc/bison |
| Miscellaneous |
MS-Office, LATEX 2e, STL |
Language skills |
|
| French | mother tongue |
| English | professional (2000 TOEIC 590 points) |
| German | conversational (1995 ZdaF befriedigend) |
| top | home | contact |