Blogs (28) >>
ECOOP 2016
Sun 17 - Fri 22 July 2016 Rome, Italy
Kim Bruce

Registered user since Mon 9 Feb 2015

Name: Kim Bruce

Bio: Kim B. Bruce has been Reuben C. and Eleanor Winslow Professor of Computer Science at Pomona College since the summer of 2005. He is the Frederick Latimer Wells Professor of Computer Science emeritus at Williams College, where he taught for 28 years. His first position out of graduate school was as an instructor in Mathematics at Princeton University from 1975 to 1977. His research program was originally in the model theory of languages with generalized quantifiers, but his interests turned to programming languages after his stay at M.I.T. His research focus evolved from models of the polymorphic lambda calculus to the study of semantics and type theory. This led to his continuing work in the design of object-oriented languages. His most recent research project involves the design of a new language, Grace, designed for use in the first two years of Computer Science education.

Country: United States

Affiliation: Pomona College

Personal website: http://www.cs.pomona.edu/~kim/

Research interests: Object oriented languages, type systems

Contributions

STOP 2016Author of Beyond Types: Extending the Gradual Guarantee within the STOP-track
GRACE 2016Author of Overview of the Grace project and language within the GRACE-track
Co-chair in Program Committee within the GRACE-track
Author of Recent changes and language design issues in Grace within the GRACE-track
Author of Experience teaching with Grace within the GRACE-track
ECOOP 2016Session Chair of Session 5 (part of Research Track)
Author of Object Inheritance without Classes within the Research Track-track
Show activities from other conferences

ECOOP 2016-profile
View general profile