In case of troubles, click here for a less fancy and more static version of same webpage

Olivier Bournez

Menu:

Publications
Teaching

Students

Research

CV

Contact

Credits & More
- Credits
- Personal Agenda

<Back to Home Page>

Continuous Time Models of Computations
Computations and dynamical systems
- Complexity of questions related to dynamical systems
- Dynamical Systems and Computations
Distributed Computing
- Population Protocols and variants
- Computing with Large Populations
Blum Shub Smale Model of Computation:
Learning in Games / Algorithmic Game Theory
- Games and Distributed algorithms
- Distributed Learning in games
Verification:
- Frontier between decidability and undecidability in verification
- Tools for verification / Model-Checking
Programming with rules and strategies / Rewriting
- Rewriting with probabilities or fuzzyness
- Generating Chemical Rules with Rewriting Rules & Strategies
Computer Vision
Misc.
Other stuffs

Menu:

Publications
Teaching

Students

Research

CV

Contact

Credits & More
- Credits
- Personal Agenda

<Back to Home Page>

Credits/About this page - Edit - History - Print - Recent Changes - Search Internals

Page last modified on October 31, 2014, at 11:11 PM