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
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

  Oct 2003 -
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 -
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.
   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