Staff Software Engineer at Google
- San Francisco Bay Area
- Computer Software
Chris Colby's Overview
- Staff Software Engineer at Google
- Principal Member of Technical Staff at Salesforce.com
- Software Architect at MobiTV
- Research & Development at Ludic Labs (acquired by Groupon)
- Technical Lead at Pixar Animation Studios
- Engineering Manager at Inktomi
- Senior Software Engineer at FastForward Networks
- Director of Engineering at Cedilla Systems
- Assistant Professor at Loyola University Chicago
- Research Consultant at Bell Labs
- Visiting Scientist at École Normale Supérieure
- Visiting Scientist at École Polytechnique
- Visiting Scientist at NEC Laboratories
- Visiting Scientist at Sun Microsystems Laboratories
- Carnegie Mellon University
- Carnegie Mellon University
- Massachusetts Institute of Technology
Chris Colby's Experience
Staff Software Engineer
Public Company; 10,001+ employees; GOOG; Internet industry
April 2010 – Present (3 years 2 months)
I work on information security.
Principal Member of Technical Staff
Public Company; 5001-10,000 employees; CRM; Internet industry
January 2009 – April 2010 (1 year 4 months)
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.
Privately Held; 201-500 employees; Entertainment industry
March 2007 – January 2009 (1 year 11 months)
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.
Public Company; 1001-5000 employees; DIS; Motion Pictures and Film industry
September 2002 – December 2006 (4 years 4 months)
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.
Public Company; 501-1000 employees; Computer Software industry
July 2001 – September 2002 (1 year 3 months)
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.
Senior Software Engineer
April 2000 – July 2001 (1 year 4 months)
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.
Director of Engineering
January 1999 – April 2000 (1 year 4 months)
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.
Educational Institution; 1001-5000 employees; Higher Education industry
August 1996 – January 1999 (2 years 6 months)
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.
Public Company; 10,001+ employees; T; Telecommunications industry
June 1997 – December 1998 (1 year 7 months)
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.
Educational Institution; 501-1000 employees; Higher Education industry
October 1994 – March 1995 (6 months) Palaiseau, France
Invented some of the first non-trivial abstract interpretations for the semantics-based automatic analysis of concurrent programs.
Privately Held; 51-200 employees; Research industry
May 1993 – August 1993 (4 months)
Researched semantics-based static analysis of concurrent programming languages.
Public Company; 10,001+ employees; ORCL; Information Technology and Services industry
May 1991 – August 1991 (4 months)
Invented the first known efficient most-specific-subsumer (MSS) algorithm for natural-language term-based classification.
Chris Colby's Skills & Expertise
Chris Colby's Education
Carnegie Mellon University
Ph.D., Computer Science
1992 – 1996
Specialties: languages, semantics, compilers, automated program analysis and verification.
National Science Foundation Graduate Fellowship, September 1990 – August 1993.
Thesis: Semantics-based Program Analysis via Symbolic Composition of Transfer Relations. Supervisor: Prof. Peter Lee.
Carnegie Mellon University
M.S., Computer Science
1989 – 1992
Massachusetts Institute of Technology
B.S., Computer Science
1986 – 1989
Thesis: Correctness Proofs of the Peterson-Fischer Mutual Exclusion Algorithms. Supervisor: Prof. Nancy Lynch.
Chris Colby's Additional Information
- Honors and Awards:
National Science Foundation CAREER Award, 1997.
Sole inventor, pending patent, "Dynamic Dependencies and Parameterizations for Execution and Caching".
Sole inventor, patent 7,034,836, "Adaptive Caching of Animation Controls".
Patent 6,102,968, "Method for Automatically Closing Open Reactive Systems".
Several other pending patents (haven't kept this up to date).