| Home | Research & Teaching | Links |
|---|
| Anne Benoit Born the 14/11/1977 French nationality Home page: http://homepages.inf.ed.ac.uk/abenoit1 Phone: +44 (0)131 650 5138 Fax: +44 (0)131 667 7209 |
Address: The University of Edinburgh, School of Informatics James Clerk Maxwell Building, King's Buildings Mayfield Road, Edinburgh EH9 3JZ Scotland, UK E-mail: annebenoit\AT\free.fr |
|
| Position sought: Academic position (teacher, researcher) in Computer Science |
| Experience | |
| Oct 2003 - Present |
Research assistant, School of Informatics, The University of Edinburgh,
Scotland. Project Enhance: Enhancing the Performance Predictability of Grid Applications with Patterns and Process Algebras. Performance evaluation, process algebras, parallel and distributed programming, grid applications, .... |
| Oct 2000 - Sept 2003 |
PhD thesis, ID-IMAG laboratory,
Montbonnot, France. Supervisor: Brigitte Plateau "Methods and Algorithms for the performance evaluation of systems with a large state space". 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 (SANs). Student advisor for a project on translating UML models (system verification) in SANs. 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, large state space, Markov chains, stochastic automata networks, tensor algebra, continuous and discrete time, .... |
| Oct 1999 - Sept 2000 |
DEA project, ID-IMAG laboratory,
France. Study of interactions between the Athapascan-0 tracing tool and the traced applications. Performance evaluation, tracing, 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, ScaLAPACK), Linux, IDL, use of super-computers. |
| Summer 1998 |
Training period (6 weeks),
IRAM (Institute for Research in
Millimeter Astronomy), Grenoble, 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 and Diplomas | |
| June 2003 |
"Diploma of Doctor (Ph.D) in Computer Science: Systems and Communications",
INPG, France. |
| June 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 Ph.D); 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: Fluent, numerous stays in the United States and living in Scotland since Sept 2003. German: Working knowledge, stays in Germany. |
| Computer Skills | |
| Theory | Markov chains, stochastic automata networks, process algebras (PEPA), generalized stochastic petri nets, generalized tensor algebra, product state space. |
| Systems | Unix, Linux, Mac OS (8,9,X), Windows (95, 98, NT). |
| Languages | C/C++, Ada95, Java, Scheme (LISP dialect), Caml, Assembler, Perl, SQL, HTML, XML, Lotos, UML, IDL (Interface Dataset Language). |
| Parallel Programming, Grids | MPI, ScaLAPACK, Java RMI, Globus, Condor, ICENI. |
| Software | Compilers, MS Office, LaTeX, Version Control Tools, Lex, Yacc, Maple, Computer Aided Design,... |
| Networking | TCP/IP, Ethernet, client/server architecture. |
| Publications |
| Please refer to my list of publications |
| Further informations | |
|
Driver's license. Music: Certificate of Piano and French horn. First horn of numerous symphonic orchestras and wind ensembles (harmonies, chamber music, brass quintett, ...) both in Grenoble and Edinburgh. Sport: hiking, climbing, skiing, basketball, tennis, squash. |
|
E-Mail 
|
Last modified: Wed Jan 12 16:35:28 GMT 2005 |