Computer scientist. I used to work on programming languages (design, type systems, compilation), in particular about modularity. My interests then shifted towards semantic foundations of the subject.