Research Team: Mosel
Office : LORIA/B254
E-mail : roegel@loria.fr

Current Position:

    Maître de conférences (associate professor) at Université Nancy 2 (since October 1, 1998).

Former Positions:

    PhD Student (1992-1996) and teaching assistant (1992-1997) at Nancy.

    Postdoctoral research assistant at SUNY (State University of New York) at Stony Brook, with professor Scott Smolka (from November 4, 1997 to September 30, 1998).

Education:

Some research interests:

Formal methods, Logic, Semantics of programming languages, Theorem proving, Typesetting, Graphics, Science, ...

Books and other publicationsTeaching documentsFavorite linksMiscellaneous

... in Science, not less than in War or Commerce, pertinacity of purpose is one essential element of success. (George B. Airy)

My Erdös number is 4. One path is Paul Erdös -> Zsolt Tuza -> Roger Maddux -> Peter Ladkin -> Denis Roegel. Another one is Paul Erdös -> Kenneth Kunen -> Robert Shostak -> Leslie Lamport -> Denis Roegel.

Last update: July 8, 2007