Graham Hughes
39 San Anzio Way
Goleta, CA 93117 USA
Contact information
Telephone: 805-451-4937 (cell)
Email:
Web: http://www.sigwinch.org/Graham/

Summary

I have extensive experience with Python (12 years), C (15 years), C++ (15 years), Java (11 years), Common Lisp (13 years) and Bourne shell (14 years). I have development experience on Linux and Solaris specifically and most Unixes in general; I also have sysadmin experience on Linux and MacOS X. In 2000, I wrote a medium-sized online registration system in a year using PostgreSQL and Python while employed by Lynda.com; screen captures are available.

Education

B.A. Computer Science and Mathematics
University of California, Santa Barbara 		1995 - 1999

Publications

  1. G. Hughes and T. Bultan. Automated verification of XACML policies using a SAT solver. In Proceedings of the Workshop on Web Quality, Verification and Validation (WQVV ’07), 2007.
  2. G. Hughes and T. Bultan. Interface grammars for modular software model checking. In Proceedings of the International Symposium on Software Testing and Analysis (ISSTA ’07), 2007.
  3. G. Hughes, S. P. Rajan, T. Sidle, and K. Swenson. Error detection in concurrent java programs. In Proceedings of the Workshop on Software Model Checking (SoftMC 2005), volume 144, pages 45–58. Electronic Notes in Theoretical Computer Science, February 2006. Issue 3.
  4. G. Hughes and T. Bultan. Automated verification of access control policies. Technical Report 2004–22, Department of Computer Science, University of California, Santa Barbara, September 2004.

Professional Experience

Graduate Student
University of California, Santa Barbara, Santa Barbara, CA 		September 2001 – Present Continuing education, with a focus on work in software verification and modeling.
Intern
Research Institute for Advanced Computer Science, San Jose, CA 		September 2005 – November 2005 Research intern investigating automated analysis of concurrent software.
Intern
Fujitsu Research Labs of America, San Jose, CA 		September 2004 – May 2005 Research intern investigating automated analysis of preexisting concurrent software.
Programmer
Lynda.com, Ojai, CA 		July 1999 – September 2001 Primary programmer and backup sysadmin; developed online registration system for FlashForward conferences including an integrated ecommerce system.

Tags