User:Tom: Difference between revisions
mNo edit summary |
mNo edit summary |
||
| Line 2: | Line 2: | ||
IRC: TomMD | IRC: TomMD | ||
Sequence.complete.org: TomMD | Sequence.complete.org: TomMD | ||
Blog: tommd.wordpress.com | |||
Interests: Formal methods, verification, information flow, run time systems | Interests: Formal methods, verification, information flow, run time systems | ||
Packages: hsXenCtrl, control-event, pureMD5, ipc | |||
Revision as of 06:06, 8 June 2008
Name: Tom IRC: TomMD Sequence.complete.org: TomMD Blog: tommd.wordpress.com Interests: Formal methods, verification, information flow, run time systems Packages: hsXenCtrl, control-event, pureMD5, ipc