CAD Software Developer

August 2000 - May 2003
Fulcrum Microsystems
Ported digital circuit simulator from C to Java.
Maintained parser for proprietary Hardware Description Language.
Maintained layout vs schematic tool.
Wrote boolean logic to transitor netgraph generation for design flow.
Designed and implemented data structures for transistor sizing.
Wrote test cases for multiple designs.

Kernel Programming Intern

Summer 1999
Sun Microsystems
Examined high latency of pipes under SunOS. Implemented prototype of new system call method. Wrote debugger module to examine x86 page tables and related registers.

UGCS Sysadmin

Summer 1997-January 2000
Caltech Computer Science Department
Maintained an integrated cluster of 35 HP 9000s700, Linux/ia32 and SGI workstations with over 1000 users. Wrote system monitoring scripts, configuration file generation scripts. Installed and ported system and user software packages.

Programmer

January 1998-September 1998
Tanner Research Inc.
Enhanced scripting / plug-in API for L-Edit/Therm, a layout editor and thermal solver for circuit boards.

Caltech Card Office Staff

Summer 1997
Caltech Card Office
Interfaced the card office database with main Caltech financial systems. Automated processing of monthly updates.

Teaching Assistant for CS 1

Fall 1996, 1997
Caltech Computer Science Department
Gave mini-lectures, lab and homework help, and graded for an introductory programming class at Caltech.

Numerical Analysis

Summer 1996
Professor David Grether, Caltech
Wrote software to fit and analyse various statistical models of human decision making behaviour.

Education:

University of New Mexico:

California Institute of Technology:

Course work includes:

CS 3:

Parallel computation using MPI.
Labs included parallel fractal solvers and simplified chemical reaction diffusion equations.

CS 20:

Computation, Computers, and Programs.
DFAs, NFAs, Turing machines, NP-completeness. A basic introduction to formal verification of programs. Lisp and Java used for labs. Projects included a C compiler (target 80386 netbsd) and a wavelet image (de)compression engine.

EE/CS 51:

Principles of Microprocessor Systems.
Assembly level programming of a microprocessor based system (80186). The project in 1995 was a translator between Baudot and ASCII codes intended to be part of a TDD (Telephone device for the deaf).

Languages:

Fluent in C, Java, Haskell, Python, O'Caml

Familiar with C++, Common Lisp, Perl, m4, x86 assembly, Mathematica, Maple, matlab, awk, sed.

Able to learn new languages quickly.

OS's and Environments:

Tools used:

References