25 years old
French nationality
E-mail: Anne.Benoit@imag.fr
Home page: http://annebenoit.free.fr
8 Grand'Rue
38610 Gieres
France
Phone: +33 (0)4 76 89 42 69
| Anne Benoit, PhD Student 25 years old French nationality E-mail: Anne.Benoit@imag.fr Home page: http://annebenoit.free.fr |
Address: 8 Grand'Rue 38610 Gieres France Phone: +33 (0)4 76 89 42 69 |
|
| Position sought: Post-Doc in Computer Science (Performance Evaluation) |
| Experience | |
| Oct 2000 - Present |
PhD Student, ID-IMAG,
Montbonnot, France. "Methods and Algorithms for the performance analysis of large systems". Development of the software PEPS. Task coordinator in the DECORE project : "Exploiting the symmetries in communication network models". Student advisor for a project on aggregation of symmetrical Stochastic Automata Networks. Student advisor on system verification with Lotos and performance evaluation with Stochastic Automata Networks. Giving computer science lectures at ESISAR (INPG, Valence, France) and at ENSIMAG (INPG, Grenoble, France): algorithmics, compilation, performance evaluation. Designing the intranet for ID-IMAG. Performance evaluation, Markov Chains, Stochastic Automata Networks, tensor algebra. |
| Oct 1999 - Sept 2000 |
DEA project, ID-IMAG,
France. Study of interactions between the Athapascan-0 tracing tool and the traced applications. Performance evaluation, parallelism, Athapascan. |
| Summer 1999 |
Training period (8 weeks),
California Institute of Technology (Caltech),
Pasadena, California, USA. Data analysis in Astrophysics with the MADCAP software (Microwave Anisotropy Dataset Computational Analysis Package). Parallelism (MPI), Linux, IDL, use of super-computers. |
| Summer 1998 |
Training period (6 weeks),
IRAM (Institute for Research in
Millimeter Astronomy), France. The design and the implementation of a graphic interface using the Xforms libraries as alternative to Motif for a software for data handling. Working on Linux and Unix. |
| Summer 1995 |
Training period (1 month),
CNRS, Grenoble, France. Study of turbulence with Helium gaz : confection of temperature captors. |
| Education | |
| 2000 - 2003 |
"Thèse en informatique",
equivalent to a Ph.D in Computer Science,
ID-IMAG, Montbonnot, France. |
| 1997 - 2000 |
"Diplôme d'Ingénieur en Informatique", equivalent
to a Master's Degree in Computer Science, Ecole Supérieure d'Informatique et de Mathématiques Appliquées de Grenoble (ENSIMAG), Grenoble, France. Emphasis in Systems and Networks; passed with "Very Good". "Diplôme d'Études approfondies" (DEA) of Computer science : Systems and Communication (prerequisite for the PhD); passed with "Very Good". |
| 1995 - 1997 |
Intensive undergraduate studies in advanced scientific technologies, mathematics and physics for the competitive entrance exams to the french engineering schools, at lycée Champollion, Grenoble, France. |
| 1995 | Scientific "Baccalauréat" (French secondary school diploma, equivalent to the "A" levels) ; passed with "Very Good". |
| Languages | French: Native language. English: Good working knowledge, one year living in North America. German: Working knowledge, numerous stays in Germany. |
| Computer Skills | |
| Theory | Markov chains, stochastic automata networks, generalized stochastic petri nets, generalized tensor algebra, product state space. |
| Systems | Unix, Linux, Mac OS, Windows (95, NT). |
| Languages | C/C++, Ada95, Java, Scheme (LISP dialect), Caml, Assembler, Perl, SQL, HTML, Lotos, UML, IDL (Interface Dataset Language). |
| Parallel Programming | MPI, ScaLAPACK, Java RMI. |
| Software | Compilers, MS Office, LaTeX, Version Control Tools, Lex, Yacc, Maple, Computer Aided Design,... |
| Networking | TCP/IP, Ethernet, client/server architecture. |
| Publications |
| A. Benoit, B. Plateau and W.J.Stewart. Memory-efficient Kronecker algorithms with applications to the modelling of parallel systems. To appear in PMEO-PDS'03. |
| A. Benoit, P. Fernandes, B. Plateau and W.J.Stewart. On the Benefits of Using Functional Transitions in Kronecker Modelling. Submitted to Performance Evaluation, 2002. |
| A. Benoit, B. Plateau and W.J.Stewart. Memory Efficient Iterative Methods for Stochastic Automata Networks. Technical report, Rapport de recherche INRIA n. 4259, France, Sept. 2001. |
| Further informations | |
| Driver's license. Music : Certificate of Piano and French horn. First horn of the Symphonic Orchestra of Grenoble, and in a lot of wind ensembles. Chamber music (brass quintett M.A.G.Y.C.). Sport : hiking, climbing, skiing, basketball, ... | |
| On-line version : http://annebenoit.free.fr/cv.ang.html | Last modified: Mon Jan 27 15:03:13 CET 2003 |