User:Gdementen

My real name is Gaëtan de Menten. I'm a 25 year old belgian guy. As a belgian, I'm not a native english speaker (my primary language is french). I'm currently finishing my computer science studies at the university of Namur in Belgium. The last thing I must do in order to finish my studies is to write my thesis. It is about Model checking so I'll try to update/add some articles around that topic in the following days. I'm currently creating my first article on Computational tree logic.

If you have any comment, feel free to drop me a line: talk / email

Todo list
This is the list of things I'd like to be done on Wikipedia. I'll probably do it eventually but feel free to do it yourself if you feel like doing so.


 * finish page on CTL
 * add CTL page on Peer review. The page should be checked for:
 * content
 * spelling/grammar/style


 * create a LTL page for redirect to Linear temporal logic
 * this will need the creation of disambiguify (or whatever it is called) page.
 * use


 * ask wether I should create a page for temporal operators and remove them from LTL and CTL pages or not
 * provide another NFA example (the current one is a special case: epsilon-NFA) and create a new page for the epsilon-NFA
 * change image for the "finite state machine" page.
 * it could probably be reused for something else since it's a cool image, but IMHO too complex in this context and not very representative of FSM.


 * clarify/merge or at least link together model checking and formal verification
 * category for formal verification & model checking
 * create page for "linear time logic" -> redirect to LTL
 * add link to YAHODA on modelchecking or formal verif page(s)
 * add a list of my interest on this page

Other info
The list of my contributions so far is here.