Tim Teitelbaum

April 12, 1943

As a businessman, he is known for having co-founded GrammaTech, Incorporated. and for having been its sole Chief Executive Officer since 1988. In 1978, Professor Teitelbaum created the Cornell Program Synthesizer, one of the seminal systems that demonstrated the power of tightly integrating a collection of program development tools, all deeply knowledgeable about a programming language and its semantics, into one unified framework. His more than 45 lectures and demonstrations of this early IDE during 1979-1982, as well as the credo of his 1981 paper co-authored with Thomas Reps, asserted: In a body of work with his graduate students, Teitelbaum investigated this problem for a range of languages L that included attribute grammars, structured query language, first-order functional languages, and the lambda calculus. In addition to incremental evaluation methods, the work also included program transformation methods, id est (that is), the automatic derivation from P of an incremental program P’, where executing P’ on previous result P(x), increment x’-x, and auxiliary information retained from previous executions, efficiently performs the same computation as executing P on input x’. Teitelbaum"s recent work is aimed at the design and implementation of tools that assist in making software safer and more secure. Techniques include static program analysis and dynamic program analysis of both source code and machine code. Teitelbaum was co-recipient of the Association for Computing Machinery SIGSOFT Retrospective Impact Paper Award (2010) for his 1984 paper co-authored with Thomas Reps on the Synthesizer Generator.

Tim Teitelbaum

Edit Profile

computer scientist

Education

Massachusetts Institute of Technology. Carnegie Mellon University.

Career

As a businessman, he is known for having co-founded GrammaTech, Incorporated. and for having been its sole Chief Executive Officer since 1988. In 1978, Professor Teitelbaum created the Cornell Program Synthesizer, one of the seminal systems that demonstrated the power of tightly integrating a collection of program development tools, all deeply knowledgeable about a programming language and its semantics, into one unified framework. His more than 45 lectures and demonstrations of this early IDE during 1979-1982, as well as the credo of his 1981 paper co-authored with Thomas Reps, asserted:

In a body of work with his graduate students, Teitelbaum investigated this problem for a range of languages L that included attribute grammars, structured query language, first-order functional languages, and the lambda calculus.

In addition to incremental evaluation methods, the work also included program transformation methods, id est (that is), the automatic derivation from P of an incremental program P’, where executing P’ on previous result P(x), increment x’-x, and auxiliary information retained from previous executions, efficiently performs the same computation as executing P on input x’.

Teitelbaum"s recent work is aimed at the design and implementation of tools that assist in making software safer and more secure. Techniques include static program analysis and dynamic program analysis of both source code and machine code.

Teitelbaum was co-recipient of the Association for Computing Machinery SIGSOFT Retrospective Impact Paper Award (2010) for his 1984 paper co-authored with Thomas Reps on the Synthesizer Generator.

Membership

As an educator and faculty member of the Cornell University Computer Science Department since 1973, he was recognized for his large-scale teaching of introductory programming, and for his mentoring of highly successful graduate students.

Main Photo

School period

College/University

Career

Achievements

Membership

Awards

Other Photos

Connections

Connections

Tim Teitelbaum

Education

Career

Membership

Born

Nationality

Education