Arnaud Bailly

I am the founder and only employee of OQube, a small company offering me a legal framework for the various services I am able to provide:
- design, setup and implementation of test automation frameworks, both at the unit and functional level,
- setup, management and evangelisation of platforms, methods and tools for distributed agile software development,
- design, implementation and auditing of software architecture,
- coaching, training, writing on all or part of the above,
- more generally, software design and implementation.

I am available for either short-term/full-time or long-term/part-time missions (or missions that can be done partially at home).

My professional interest focuses on:
- information systems v&v activities, tools and techniques
- mixed paradigm programming languages,
- test automation in all its forms,
- agile SD (XP, Scrum)

I am also very interested in the not-so-professional-but-still-related-to-computing following themes:
- pure functional languages implementation and theory,
- category theory for computing and logic,
- automata, transducers and formal languages,
- graphs, their theory and their use,
- meta programming, code generation
- compilation techniques and language design,
- formal aspects of software development,
- ....