Durham, NH 03824
Phone: 603-862-2981
Fax: 603-862-3493
| (Postscript, pdf) | |||
|
|
|||
|
|||
| University of New Hampshire, Kingsbury
Hall, W231
Durham, NH 03824 Phone: 603-862-2981 Fax: 603-862-3493 |
|||
| EDUCATION: | |||
| Sept 94-Nov 97 | Ph.D. in computer science from Institut National Polytechnique (INPT), Toulouse, France. | ||
| Area: distributed systems, formal methods, automated theorem proving. | |||
| Thesis: Assistance à la Répartition de Systèmes Réactifs ("Support for the Distribution of Reactive Systems"). | |||
| Advisor: Pr. Gérard Padiou. | |||
| Mention très honorable avec félicitations. | |||
| Sept 92-Sept 93 | M.S. (D.E.A.) in computer science (foundations and parallelism) from INPT. | ||
| Area: distributed systems, formal methods, automated theorem proving. | |||
| Thesis: Assistance au Raffinement de Programmes Répartis ("Support for the Refinement of Distributed Programs"). | |||
| Design and implementation of the assistant tool Dada | |||
| Advisor: Pr. Gérard Padiou. | |||
| Oct 90-June 93 | B.S. (Engineer degree) in computer science and applied mathematics from INPT. | ||
| Sept 87-June 90 | Mathématiques Supérieures et Mathématiques Spéciales (Post-secondary programs leading to the nationwide competitive examinations to "Grandes Écoles"), Lille, France. | ||
| PROFESSIONAL EXPERIENCE: | Jun 06-present | Associate professor, department of computer science, University of New Hampshire, Durham, NH. | |
| Area: distributed systems, formal methods. | |||
| Unified frameworks for reactive distributed systems, mobile agents, control systems, sensor networks, etc. | |||
| Teaching in logic, formal methods and programming languages. | |||
| Sep 06-Jun 07 | Visiting (associate) professor, department of computer science, California Institute of Technology, Pasadena, CA. | ||
| Area: distributed systems, unifying theories. | |||
| Jul 04 | Visiting (full) professor, Institut National Polytechnique (INPT), Toulouse, France (ACADIE group). | ||
| Area: agent-based distributed systems. | Nov 99-Jun 06 | Assistant professor, department of computer science, University of New Hampshire, Durham, NH. | |
| Area: distributed systems, formal methods. | |||
| Component-based formal specifications and correctness proofs of distributed systems. | |||
| Teaching in correctness proofs and formal methods. | |||
| Sept 98-Oct 99 | Postdoctoral scholar, department of computer science, California Institute of Technology, Pasadena, CA. | ||
| Area: distributed systems, formal methods. | |||
| Component-based formal specifications and correctness proofs of distributed systems. | |||
| Sept 97-Aug 98 | Research and teaching fellow (ATER) at INPT. | ||
| Communication refinement for formal specifications and correctness proofs of distributed systems. | |||
| Teaching in operating systems, distributed algorithms, object-oriented design and programming, assembly language, basic algorithms, functional and imperative programming. | |||
| Sept 94-Aug 97 | Teaching fellow (Moniteur) at INPT. | ||
| Teaching in operating systems, distributed algorithms, basic algorithms, imperative programming. | |||
| Oct 96-June 97 | Advisor of M.S. student Céline Boutros, at INPT. | ||
| Communication protocols: formal specification and proof. Application to ATMR. | |||
| Oct 94-Dec 94 | Advisor of Abdellah El Hadri, student from École Mohammadia d'Ingénieurs, Rabbat, Morroco. | ||
| Use of a Presburger arithmetic decision procedure to improve an automatic theorem prover. | |||
| ACADEMIC AWARDS AND HONOURS: | |||
| 2001 | Summer Faculty Fellowship from the Graduate School, "Experimentation with Automatic Theorem Provers". | ||
| 2000 | Faculty Development grant "Formal Methods for Parallel Programming". | ||
| 1998 | Prix Léopold Escande for the doctoral thesis, from INPT. This prize distinguished 19 theses from a total number of 141. | ||
| 1994-97 | Research ministry fellowship (Allocataire de recherche MESR). | ||
>