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
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. You'll probably want to know how to get started as an author. Just look at Getting Started for other helpful "startup" links, our help system and CZ:Home for the top menu of community pages. Be sure to stay abreast of events via Twitter. 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 administrator for help, too. Just put a note on their "talk" page. Again, welcome and have fun!Fred Salsbury 06:18, 24 January 2007 (CST)