|Home||Research & Teaching||Links|
Born the 14/11/1977
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
|Position sought: Academic position (teacher, researcher) in Computer Science|
| Oct 2003 -
Research assistant, School of Informatics, The University of Edinburgh,
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 -
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 -
DEA project, ID-IMAG laboratory,
Study of interactions between the Athapascan-0 tracing tool and the traced applications.
Performance evaluation, tracing, parallelism, Athapascan.
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.
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.
Training period (1 month),
CNRS, Grenoble, France.
Study of turbulence with Helium gaz: confection of temperature captors.
|Education and Diplomas|
"Diploma of Doctor (Ph.D) in Computer Science: Systems and Communications",
"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".|
French: Native language.
English: Fluent, numerous stays in the United States and living in Scotland since Sept 2003.
German: Working knowledge, stays in Germany.
|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|
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.
|Last modified: Wed Jan 12 16:35:28 GMT 2005|