Here is an announcement of a talk in a series of UO Faculty Recruitment
presentations. See also Bio of speaker at the bottom ......... Horst.
---------- Forwarded message ----------
Date: Fri, 1 Mar 2002 08:00:00 -0800
From: Cheri Smith <[EMAIL PROTECTED]>
To: [EMAIL PROTECTED], [EMAIL PROTECTED], [EMAIL PROTECTED],
[EMAIL PROTECTED]
Subject: UO Faculty Recruitment Colloquium, 3/7/02
Formalizing Reuse in Open, Collaborative Systems
Joseph Kiniry
California Institute of Technology
ABSTRACT
The construction of correct complex software is about more than one's
choice of language, process, or methodology; issues of communication
about reusable assets across communities, large or small, are
critical to software engineering in the large. My understanding of
development in open, collaborative communities is derived from an
analysis, as a member, leader, and user in such communities, of how
people and groups conceptualize, learn, grow, and communicate. This
analysis leads to new perspectives and a better understanding of how
technologies, tools, and theory can be unified in useful, practical,
and illuminating ways to help build correct complex software systems.
I have incorporated these theoretical and practical requirements into
a new formalism, with a complementary set of tools, that help people
build correct software in open, collaborative communities. The
formalism was designed with the user in mind, has a loose adaptable
semantics that can be adapted different problem domains, and is
grounded in the epistemological foundations of knowledge and software
reuse in open, collaborative environments.
In this talk I will discuss this formalism, called kind theory, in
detail. I will also discuss some of the software engineering tools I
have constructed that realize the theory in a variety of practical
ways.
Bio: Joseph Kiniry is a Ph.D. candidate at the California Institute
of Technology in Pasadena, CA. His research interests include formal
methods, foundations of mathematics, software engineering,
object-oriented systems and languages, components, distributed
systems, knowledge representation,
systems modeling, artificial life, and the many different theoretical
underpinnings of computing. While a graduate student at Caltech, he
has started several technology firms whose focuses have been
distributed systems, software engineering with formal methods, and
massive multiplayer entertainment. Prior to Caltech he worked as an
independent consultant and as a researcher at the Open Software
Foundation Research Institute. He also holds degrees from the
University of Massachusetts at Amherst and Florida State University.
DATE: Thursday, March 7, 2002
TIME: 3:30 p.m. talk, refreshments following talk
PLACE: 220 Deschutes Hall (Colloquium Room), University of Oregon
--
***************************************************************************
Cheri Smith Undergraduate Coordinator
Computer & Information Science Phone: (541) 346-1376
1202 University of Oregon E-Mail: [EMAIL PROTECTED]
Eugene, OR 97403-1202 Fax: (541) 346-5373
Office Hours: Monday through Friday, 9:00 a.m. - 12:00 p.m., 1:00
p.m. - 5:00 p.m.
***************************************************************************
