Education:

PhD in Computer Science, Rice University
- Major research concentration in programming languages
- 2004 - current

Master of Science in Computer Science, University of Texas at El Paso
- 3.73 GPA, Jan 15, 2002 - Dec 13, 2003
- Concentration in Formal Methods in Software Engineering
- Concentration in Computer Architecture, Workload Characterization
- Thesis title: Deductive Synthesis of Astronomical Software using the Maude Term Rewriting System

Bachelor of Science in Computer Science, University of Texas at El Paso
- 1998 to 2001
- 3.43 Overall GPA
- 3.56 GPA in Major
- Graduated Top 20 in Class, Men of Mines Award

Qualifications:

Fluent in
- C/C++ Programming Languages
- JAVA, Python Programming Languages
- OpenGL Graphics Programming Language
- PROLOG, LISP Programming Languages
- Maude, Pascal Programming Languages
- PERL, HTML Scripting Languages
- Sed & Awk Scripting languages
Academic Concentration in
- Software Engineering (High Assurance Software)
- Advanced Computer Architecture
- Workload Characterization
- User Interface Engineering (Human Computer Interaction)
- Object Oriented Programming
- Knowledge Management (IBM)

Experience:

Rice University: Graduate Research Assistant (2004-present)
- Conducting research in multi-stage programming through staging in MetaOcaml
- Research lead and advisor: Dr. Walid Taha

Army Research Laboratory, Survivability/Lethality Analysis Directorate: Computer Scientist (2004)
- Modified, generated and built client/server attack and analysis tools in Python.
- Edited and authored command scripts used in the security analysis of various DoD systems.
- Tested attack systems on client/server combinations over multiple operating systems including Solaris7,8,9 on Sparc, Solaris7,8 on Intel, Linux, and Windows.

University of Texas at El Paso: Graduate Research Assistant (2001-2003)
- Research in formal methods of software engineering
- Topic: Code synthesis via paramodulation & equation rewriting.

IBM Corporation: Computer Architect Intern (Summer, 2003)
- Created and maintained a database of the Instruction Set Architecture (ISA) for a new IBM processor (confidential) from VHDL.
- Worked with architects to revise model and specification documentation, led to changes in ISA.
- Built a "sniffing" utility that produced AVP format traces of programs to be used in execution-dri ven simulations.

IBM Corporation: Software Engineer Intern (Summer, 2002)
- Authored & Implemented Functional Test Plans for IBM eserver - "T-Rex" Mainframes (release date July 2003)
- Responsible for Maintaining "T-Rex" Test Plan Database
- Mentored and Instructed new interns as Senior Software Intern

BGV Strategies LLC, El Paso, TX: Research Specialist (2002)
- Conducted original research in the competitive landscape for firm.
- Investigated intellectual property practices of competitors.

IBM Corporation: Software Engineer Intern (Summer, 2001)
- Designed, Implemented and Maintained databases in Lotus Notes
- Debugged and Maintained Server Monitors written in C
- Project Lead on Knowledge Management Task Force

University Student Publications Website: Webmaster (1998 ? 2001)
- Designed & Implemented news website using Perl & Java Applets

Cattle Baron Restaurants, Inc.: Host / Server (1995 ? 2001)

Honors:

- 2001 National Science Foundation, Field of Computing Scholar
- 2001 Men of Mines Award (Top Twenty Undergraduates), U.T. El Paso
- 2000 Upsilon Pi Epsilon Honor Society in Computer Science
- 2000 Golden Key National Collegiate Honor Society, Member

Leadership Roles:

- President, Upsilon Pi Epsilon Honor Society in Compter Science....2002,2003
- University Election Commission Chair, Student Government.....1998, 1999
- Engineering Ethics Committee, Subcommittee Chair..................1999
- Supreme Court Chief Justice, Student Government....................1999-2003

Skills:

* Selected Computer Science Topics: Software Engineering, Data Mining, Systems Programming in UNIX, Graphics in OpenGL, Artificial Intelligence, Windows Programming in C, Human-Computer Interaction

* Operating Systems: Sun Solaris, UNIX, MAC-OS 7.0 ? X Windows 95 / 98 / NT / 2000 / Me, MS-DOS