(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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.