Despite what my LinkedIn "Skills" say, I wouldn't touch Java Enterprise Edition with a ten-foot pole.

Staff Software Engineer @ I work on information security. From April 2010 to Present (5 years 9 months) Principal Member of Technical Staff @ I worked on the Force.com platform, which allows folks to develop their own custom apps in the salesforce.com cloud. Specifically, I worked on Apex Code, the programming language that allows developers to code the logic for their apps, and VisualForce, the component-based user-interface framework for the platform. From January 2009 to April 2010 (1 year 4 months) Software Architect @ MobiTV provides a platform for content delivery to end users over mobile and broadband networks, including live television, video on demand, premium content, satellite radio, and music, interfacing with hundreds of content providers, broadcast and cable television networks, and major music labels, with over 6 million paid subscribers across multiple carrier networks. I worked in the CTO's office. My job was to understand the strategic, technical, and intellectual property aspects of forward-looking projects, to architect and design technical solutions for them, to develop proofs of concept for these designs, to write and review patent proposals, and ultimately to transfer the projects to engineering for implementation and deployment into production. This work involved all aspects of a large scale heterogeneous homegrown software service, including advertising, content management, media delivery, security, and mobile client software. From March 2007 to January 2009 (1 year 11 months) Research & Development @ Product development, platform selection, rapid prototyping, preparation for financing pitch. From December 2006 to March 2007 (4 months) Technical Lead @ Helped to conceive, design, and implement a groundbreaking new animation system built from scratch. Responsible for the computational core of the system, including dependency analysis, automatic incremental computation, caching, and generic iterative solvers. Led character optimization for Ratatouille, a feature film. Used numerical analysis and caching to speed up articulated characters. Redesigned a free-form deformation module to be optimized for posed projections and shear correction. Optimized a Powell solver used for non-linear inverse kinematics. Achieved a 20x speedup for interactive animation. Improved the character articulation tool in use since Toy Story 2. Invented a new caching algorithm optimized for interactive animation within a frame. Enhanced the referencing system used for authoring characters. From September 2002 to December 2006 (4 years 4 months) Engineering Manager @ Eight direct reports. Led development of an SQL-based distributed network monitoring tool. Release Manager for various products. Worked closely with product management, QA, technical publications, marketing, sales, and technical support. From July 2001 to September 2002 (1 year 3 months) Senior Software Engineer @ Designed a typed structured remote query language for a level-4 router for live media streams. Designed a generic XML XPath-based transformation language as the engine of a flexible and extensible Schema-based validating network-configuration engine. Lead developer of several network monitoring tools. From April 2000 to July 2001 (1 year 4 months) Director of Engineering @ Developed a certifying x86 native-code Java compiler along with an automatic theorem prover. The theorem prover runs on remote clients to ensure the Java safety properties of the certified x86 native code output by the compiler. From January 1999 to April 2000 (1 year 4 months) Assistant Professor @ National Science Foundation CAREER Award – youngest winner of the nine awards granted nationwide in 1997 in the field of software engineering. Co-designed a Java API called Triveni for the compositional construction of concurrent event-based reactive systems. From August 1996 to January 1999 (2 years 6 months) Research Consultant @ Instigated technology transfer of Ph.D. research into the Verisoft software verification tool. Designed and implemented a symbolic execution/analysis tool for C programs, similar to Microsoft’s PREfix tool. From June 1997 to December 1998 (1 year 7 months) Visiting Scientist @ Invented some of the first non-trivial abstract interpretations for the semantics-based automatic analysis of concurrent programs. From March 1995 to August 1995 (6 months) Visiting Scientist @ Invented some of the first non-trivial abstract interpretations for the semantics-based automatic analysis of concurrent programs. From October 1994 to March 1995 (6 months) Visiting Scientist @ Researched semantics-based static analysis of concurrent programming languages. From May 1993 to August 1993 (4 months) Visiting Scientist @ Invented the first known efficient most-specific-subsumer (MSS) algorithm for natural-language term-based classification. From May 1991 to August 1991 (4 months)

Ph.D., Computer Science @ Carnegie Mellon University From 1992 to 1996 M.S., Computer Science @ Carnegie Mellon University From 1989 to 1992 B.S., Computer Science @ Massachusetts Institute of Technology From 1986 to 1989 Chris Colby is skilled in: Distributed Systems, Scalability, Software Engineering, Cloud Computing, Java, Algorithms, C++, Programming Languages, Computer Science, Object Oriented Design, Multithreading, Software Development, Java Enterprise Edition, Machine Learning, Python, C