From Fedora Project Wiki

The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

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.

Contact

Retrieved from "https://fedoraproject.org/w/index.php?title=User:Andrewj&oldid=294699"