Current interests include embedded SW development (Maemo / MeeGo / WinCE ), application of formal methods to SW development (in particular, the B-Method), as well as theory of digital forensics.