User:David Monniaux
The account of this former contributor was not re-activated after the server upgrade of March 2022.
- researcher at CNRS in Paris, France, computer science laboratory of
the École normale supérieure (home page)
- part-time assistant professor at École polytechnique near Paris (home page)
Education:
- alumni of École normale supérieure de Lyon
- Computer science PhD, 2001
- agrégé of mathematics
Field of research:
- static program analysis
- verification of critical systems
- verification of cryptographic protocols
- probabilistic programs
Other fields of interest:
- interactions between informatics and law
- French legal issues
Citizendium Getting Started | |||
---|---|---|---|
Quick Start | About us | Help system | Start a new article | For Wikipedians |
Tasks: start a new article • add basic, wanted or requested articles • add definitions • add metadata • edit new pages
Welcome to the Citizendium! We hope you will contribute boldly and well. Here are pointers for a quick start, and see Getting Started for other helpful "startup" links, our help system and CZ:Home for the top menu of community pages. You can test out editing in the sandbox if you'd like. If you need help to get going, the forum is one option. That's also where we discuss policy and proposals. You can ask any user or the editors for help, too. Just put a note on their "talk" page. Again, welcome and have fun!Fred Salsbury 06:18, 24 January 2007 (CST)