He is the technical manager of the ORK project, and is responsible for ORK maintenance at UPM and the work in UPM on GNAT GPL for LEGO MINDSTORMS NXT, which includes the porting to Linux/GNU hosts as well as integrating tools for developing real-time embedded software.