User:David Monniaux: Difference between revisions
imported>David Monniaux No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
{{AccountNotLive}} | |||
* researcher at CNRS in Paris, France, computer science laboratory of | * researcher at CNRS in Paris, France, computer science laboratory of | ||
the École normale supérieure ([http://www.di.ens.fr/~monniaux home page]) | the École normale supérieure ([http://www.di.ens.fr/~monniaux home page]) | ||
Latest revision as of 03:44, 22 November 2023
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)