| |
Arnaud BAILLY |
| Address |
29, rue Virginie Ghesquière |
| |
59000 LILLE |
| |
FRANCE |
| Tel. (home) |
(33) 320 400 315 |
| mobile |
(33) 617 121 978 |
| email |
abailly@oqube.com |
| web |
http://www.oqube.com |
I am a research engineer and software architect with inclinations towards
software development process automation, software modeling
and verification, and software testing automation. I demonstrated strong problem solving
skills, high creativity, ability to work for long periods
of time under stress and in team, all packaged in a
rigorous and formal approach.
Current position
I have started in May 2006 a small IT consulting company called
OQube
(
www.oqube.com). I aim to offer consulting, training and
development services with an emphasis on:
-
automated testing and quality control,
- software process development automation through
Linux/Apache/Maven/Continuum stack,
- code generation and model driven engineering.
Previous positions
From 2001 to 2006, I have been a
Research Engineer for Norsys SA, a
150-persons IT Service company with offices in France (Lille, Paris,
Lyons) and Morocco. Here are the main missions I was assigned to (business
domain of customer is highlighted) :
-
Retail
- Architect and project leader on a mobile
commerce application with strong requirements on smooth
integration with existing J2EE components and quality of development
- Retail
- Analysis, design and prototyping of a business processes
components library extracted from a J2EE application to leverage
existing developments for future applications. Automatic
generation of functional Java code from a formal model of
a component's behavior.
- Social security
- Design and setup of unit, integration and
system level in-house testing strategies and tools with
JUnit and AndroMDA. Build management with
maven2 tool and configuration of development platform.
- Crosscutting
- Setup and maintenance of a distributed
development platform for all our offices on secured Linux server:
Subversion SCM, Apache/SSL with certificate-based client
authentication, maven repositories and mirrors, Continuum
continous build tool.
- Social security
- Design and implementation of an open-source
LDAP/JNDI/Objects mapping library used in 10 custom directory
management applications (http://speculoos.sourceforge.net).
- Social security
- Design and implementation of a prototype
applet-based client with dynamic classes generation for model
objects and screens.
- Social security
- Design of Java/J2EE application for
batch processing of zipped binary forms.
My research work has been focused on formal modeling and verification
of components-based software architectures. It has lead me to develop
a tool called
FIDL with the following non exhaustive list of
features :
-
Formal modeling language with parser and compiler for
generating Java implementations,
- A model driven testing framework,
- A Java bytecode compiler for a subset of Haskell language,
- Graph manipulation/visualisation library,
- Finite state automata library (http://jautomata.sourceforge.net).
-
1998-2001
- Part-time system administrator and developer for
Nocopy, a web agency:
-
Setup and maintain a LAN with Linux server and Mac/Windows
client offering distributed file system secured with RAID5,
firewall, mail, web proxy,
- Design and implementation of a management application with
RealBasic client and PostgreSQL database,
- Prototype of Flash games (babyfoot and chess-by-mail) with
client-server programming.
- 1994-1997
- I created and ran a role-playing games publishing
company called Sans Peur et Sans Reproche with three other
associates. I was in charge of day-to-day administration of the
business and of the books' realization, production and
distribution. I was also involved in games design and I realized a
management software for a games retail shop with Access.
- 1991-1994
- I was account manager for a french bank, the
Crédit Agricole du Nord, in charge of about 50 small and medium
sized companies accounts.
Teaching
| Dates |
Context |
Course title |
Hrs. |
Content |
| July 2006 |
Norsys Nord |
Agile Development in J2EE |
4d |
Java
best practices and tools for agile/collaborative software
development |
| January 2006 |
Norsys Afrique |
Agile Development in J2EE |
5d |
Java
best practices and tools for agile/collaborative software
development |
| July 2005 |
Norsys |
J2EE applications testing |
2d |
|
| July 2005 |
Norsys |
Design Patterns in OOP |
2d |
|
| 2005-2006 |
Master Comp. Sc. |
Software Specification & Verification |
48h |
Sofware unit and functional testing with JUnit and Java |
| 2002-2005 |
IUP FC |
Object-Oriented Design |
40h |
UML and Design
Patterns basics |
| 2003-2004 |
IUP FC |
C/Unix System Programming |
40h |
Introduction to
advanced features of C language and Linux system programming: Signals,
processes, low-level I/O... |
-
2005
- Ph.D. in Computer Science from the Université
des Sciences et Techniques de Lille (USTL/LIFL). Title :
“Test and validation of software components”. Graduated
15th
of December, 2005, with distinguished honors.
- 2001
- M.Sc. in Computer Science, USTL/LIFL. Title : “Test and validation
of software components”, with distinguished honors.
- 1999
- B.Sc. in Computer Science, USTL, with honors.
- 1990
- MBA from the École
Supérieure de Commerce de Lille.
This document was translated from LATEX by
HEVEA.