Difference between revisions of "User:Tom"
Jump to navigation
Jump to search
(First hack) |
m |
||
| (3 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
| − | Name: Tom |
+ | Name: Tom |
| − | IRC: TomMD |
+ | IRC: TomMD |
| − | Sequence.complete.org: TomMD |
+ | Sequence.complete.org: TomMD |
| + | Blog: tommd.wordpress.com |
||
| − | Interests: 1/0 (now is that 'does not exist', 'undefined', or 'infinity'?) |
||
| + | Interests: Formal methods, verification, information flow, run time systems |
||
| + | Packages: hsXenCtrl, control-event, pureMD5, ipc, control-engine |
||
Latest revision as of 22:52, 22 February 2009
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, control-engine