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
Research interests:Object oriented languages, type systems

Contributions

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

ECOOP 2016-profile
View general profile