This is my new webpage, here you can find details about me and my work. I'm a Computer Science PhD student in the MAPi doctoral programme . Please check my research blog for recent thoughts and ideas.

• MONDRIAN: Foundations for architectural design: Service certification, dynamic reconfiguration and self-adaptability.

• MATHIS: What Mathematics for the Information Society?

• Overture: Formal modeling in VDM.

• HASLab High-Assurance Software Laboratory

• My DBLP entry