Software Computer Science

Graham

Hughes

****A Lowell Way

Goleta,

***17

Telephone: 805-***-****

(cell)

******@********.***

Web:

http://www.sigwinch.org/Graham/

Summary

I have extensive experience with Java, Ruby, and C, and

experience with C++ and Python. I have extensive development

experience on Linux specifically and most Unixes in general; I

also have sysadmin experience on Linux and MacOS X.

Education

B.A. Computer Science and

Mathematics

University of California,

Santa Barbara

Ph.D. Computer Science

University of California,

Santa Barbara

Professional Experience

Software Developer

RightScale, Inc.,

Santa Barbara,

August 2010

Software developer focusing on backend work. Developed very

reliable caching servers that became critical

infrastructure. Worked extensively to bring testing and

modern design methodologies to legacy codebases. Extensive

Ruby and Rails experience.

Application Programmer

Acelot, Inc.,

Santa Barbara,

December 2008

Research scientist and lead developer. Main emphasis is in

cheminformatics, with a focus on representing molecules as

graphs, but substantial sideline in statistical analysis and

Bayesian networks.

Graduate Student

University of California, Santa Barbara,

Santa Barbara,

September 2001

Continuing education, with a focus on work in software

verification and modeling.

Intern

Research Institute for Advanced Computer

Science, San Jose,

September 2005

Research intern investigating automated analysis of

concurrent software.

Intern

Fujitsu Research Labs of America,

San Jose,

September 2004

Research intern investigating automated analysis of

preexisting concurrent software.

Programmer

Lynda.com,

Ojai,

July 1999

Primary programmer and backup sysadmin; developed online

registration system for FlashForward conferences including an integrated

ecommerce system.

S. Halle, G. Hughes, T. Bultan, and M. Alkhalaf.

Generating Interface Grammars from WSDL for Automated

Verification of Web Services. Proceedings of the 7th

International Conference on Service Oriented Computing (ICSOC

2009), pp. 516 530, Stockholm, Sweden, November

24 27, 2009.G. Hughes and T. Bultan. Automated Verification of

Access Control Policies Using a SAT Solver. International

Journal on Software Tools for Technology Transfer (STTT),

special issue on selected papers from the Workshop on Web

Quality, Verification and Validation (WQVV 2007) vol. 10, no. 6,

pp. 473 534, December 2008.G. Hughes, T. Bultan and M. Alkhalaf. Client and

Server Verification for Web Services Using Interface

Grammars. Proceedings of the Workshop on Testing,

Analysis and Verification of Web Software (TAV-WEB 2008),

pp. 40 46, Seattle, Washington, July 21, 2008.G. Hughes and T. Bultan. Extended Interface Grammars

for Automated Stub Generation. Proceedings of the

Automated Formal Methods Workshop (AFM 2007), pp. 41 54,

Atlanta, Georgia, November 6, 2007G. Hughes and T. Bultan. Automated verification of policies

using a solver. In Proceedings of the

Workshop on Web Quality, Verification and Validation ( 07), 2007.G. Hughes and T. Bultan. Interface grammars for modular software model

checking. In Proceedings of the International Symposium

on Software Testing and Analysis ( 07),

2007.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 (

2005), volume 144, pages 45 58. Electronic Notes in

Theoretical Computer Science, February 2006. Issue 3.

Contact this candidate