I am interested in the relationship between theoretical and practical knowledge, and between scientific and technical knowledge. The epistemology of methods is the main area of my research: what is it to "know a method", and how one does formalize this knowledge? My phD, currently in progress, focuses on the epistemology of programming, assuming that programs are formal methods at the frontier between mathematics and technology. My education background is in science and philosophy. My professional activities in the industrial sector make me sensitive to the pragmatic aspects of informatics and of formal processes in general.