From FedoraProject

Jump to: navigation, search

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.