User:David Monniaux

• 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)