Hi, I'm Andrew. I'm a PhD student in formal methods. I've been using Red Hat distros since RH9, and Linux since around Mandrake 8.
Activities within Fedora
None, as of yet, although I'm hoping to get involved with the formal methods SIG.
- Website: http://www.doc.ic.ac.uk/~andrew
- Email: andrewj AT doc DOT ic DOT ac DOT uk
- Fedora Account: andrewj