Adrian started following the work of 2 people. 2012-02-22 14:35:56 -0800
Adrian added themselves to the department Computer Science. 2012-01-31 15:56:21 -0800
Adrian followed the research interests: Formal Methods (Formal Verification), Philosophy of Mind, Compilers, Engineering, Programming Languages... (5 more) Formal Methods (Formal Verification), Philosophy of Mind, Compilers, Engineering, Programming Languages, Computer Science, Computer Security, Computer Networks, Operating Systems, and Haskell 2012-01-03 17:10:27 -0800
University Of Birmingham
Graduate Student, Computer Science
Contact Information
gtalk/jabber: adrianlshaw
Need an account? Click here to sign up
Enter the email address you signed up with, and we'll send a reset password email to that address
