Who am I ?

The next few paragraphs consist mostly of my scientific research corpus, now counterbalanced with a heavy industrial experience since I joined SafeRiver.

Researchers might be interested into my list of publications with documents.

Industrial results

I work at SafeRiver since july 2010 as an engineer. Within this frame, I worked on the following projects and missions:

  • SAET L1 at RATP, from july 2010 to november 2011
  • Other ongoing projects…

Research and publications

During my latest unemployment period, I took it upon myself to model the theoretical framework of B in Coq, in the BiCoax tool (see the list of publications, the BRILLANT project or the announce on the Coq mailing-list).

Post-doctoral fellowship

Before joining the industry, my previous activities consisted in a postdoctoral fellowship in the DEDALE team in LORIA, Nancy. The first year was spent building a safe system based on provided components. The second year was spent continuing on this topic by applying it on a platooning case study.

In the first case, my work was in line with the team's work. Provided components are considered black boxes with interfaces (provided and/or required), and their assembly in a given system is based on the notion of adapters. These adapters are developed as refinements where the required interface of one component is progressively expressed as the provided interface of another component. The refinement used is that of the B Method.

In the second case, the case study proposed two problems: on the one hand, the compositional modeling of a realistic problem from the transport domain, which constituted an interesting practical application of the work of the first year of post-doctorate. The second problem covered the formal modeling of this situated multi-agent type system in order to guarantee certain properties on the emergent behavior of the system, such as the absence of collision. If time did not allow to push the reflections as far as I would have liked, the immediate perspectives suggested that the formal modeling tools have reached sufficient maturity for the specification of complex properties because they are based on realistic mathematics.

Thesis and Previous Work

You can find a detailed description of my thesis with links to associated implementations.

My even earlier work mainly relates to the B method and can be found for the most part on the [BRILLANT] project website (https://gna.org/projects/brillant)

Teaching

Although it's getting quite dated, you can consult the section named Teaching at the root of the site for more details on my contributions. If you have any training needs in my areas of expertise, I should be able to provide good advice.

Contact Me

By email:

Note that this address is coded to make life difficult for spambots. If you're a human, you shouldn't have any trouble reconstructing it.

Privacy

My gpg key whose fingerprint is

pub 1024D/B24520ED 2006-06-26
    Key fingerprint = 2B52 9244 CCC1 F55B 9A83 1F2E C34B DE50 B245 20ED
uid Samuel Colin <scolin@hivernal.org>
sub 2048g/BA2B77AD 2006-06-26