Curriculum Vitae

Name: Keith Linn Downing
Birthdate: July 1, 1961
Nationality: United States Citizen
Occupation: Associate Professor of Computer Science

Work Address

Department of Computer and Information Science
Sem Saelandsvei 7-9
NTNU
7491 Trondheim
Norway

Telephone +47 73 590271
Fax +47 73 591733
Email keithd@idi.ntnu.no

Education

Graduate - Streetsboro (Ohio) High School (1979)
Mathematics B.A. (summa cum laude) - Bucknell University (1983)
Computer Science Ph.D. - The University of Oregon (1990)

Academic Achievements

Co-Valedictorian of High-School Class (1979)
Phi Beta Kappa member (1983)
Pi Mu Epsilon Award for Outstanding Scholarship in Mathematics (1983)
Tektronix Graduate Fellowship (1986)
Promotion to Associate Professor (2001)

Previous Computer Science Positions

Hewlett Packard (Cupertino, California, 1984) - Summer intern.
Xerox PARC (Palo Alto, California, 1987) - Summer intern.
The University of Oregon (Eugene, Oregon, 1983-90) - Graduate teaching and research assistant.
Linkøping University (Linkøping, Sweden, 1990-92) - Teacher and researcher.
SINTEF Automatic Control (Trondheim, Norway, 1992-93) - research scientist
SINTEF - IKU Environmental Modelling (Trondheim, Norway, 1993- 1995) - research scientist

Main Fields of Competence and Interest

Artificial Life
Evolutionary Computation (genetic algorithms, genetic programming, etc.)
Computational Neuroscience
Artificial Intelligence
Modelling & Simulation of Natural Systems

General Research Experience

Developed several computational models of neural networks, their development and evolution (2002 - present)

Participated in The Cognitive Neuroscience Summer School (Dartmouth University, 2005).

Developed TRIDAP, a computational model combining evolution, development and learning to test the Baldwin Effect (NTNU, 2004)

Developed GPRL, a system that combines genetic programming and reinforcement learning (NTNU, 2001)

Developed GUILD, a simulator of the evolution of multi-species biochemical guilds and their environmental effects (1998-1999).

Developed EUZONE, a simulator of the evolution of aquatic ecosystems (1995-1997)

Developed a simulator of the evolution of protandry in insects (1995-1997)

Participated in The Complex Systems Summer School (The Santa Fe Institute, 1996).

Developed RTDB, an interactive database of performance-test results for oil-spill cleanup equipment (IKU, 1995) .

Assisted in the development of OSCAR, a comprehensive oil spill contingency and response system (IKU, 1995).

Developed MIGMOD, a simulator of animal migratory movements used to assess the biological consequences of marine pollution (IKU, 1994).

Developed MUDMAP, a simulator of the aquatic transport of drilling fluids and cuttings released from offshore oil platforms (IKU, 1993 - 95).

Developed a carbon-species chemical module as part of CARDEEP, a simulator of plankton blooms and their effects upon the vertical transport of carbon in the Greenland Sea (SINTEF, 1993-94).

Designed process-description language and parser for HOPE, an operator training and support system for Statoil's Heidrun offshore oil platform (SINTEF, 1992).

Extended discrete model-based diagnostic techniques grounded in truth maintenance to continuous physiological systems (Linkoping University, 1990-92).

Used truth-maintenance to handle temporal constraints in genetic regulatory networks (Linkoping, 1992) .

Doctoral Thesis: A theory of the role of functional knowledge in the analysis of physiological systems, and a fully implemented application to cardiovascular physiology (University of Oregon, 1990).

Used truth maintenance to model assumption-based aspects of medical reasoning (Xerox PARC, 1987) .

Assisted in the design of cardiovascular simulation and tutoring software (University of Oregon, 1987-89).

Used hydraulic cardiovascular models to derive symptom-fault associations for medical diagnosis (University of Oregon, 1986-87) .

Built graphics interface for an automatic core-dump analyzer (Hewlett Packard, 1984)

Teaching Experience

Primary Instructor


Computational Neuroscience(NTNU, 2008-present)
Sub-Symbolic AI Methods (NTNU, 1998-present) - Evolutionary Computation & Neural Networks
Advanced AI Programming (Midt University, Ostersund, Sweden, 2004 - present)
Artificial Intelligence Programming (NTNU, 2009 -)
Lisp Programming (NTNU, 1997-present; Oregon, 1989)
Evolutionary Computation (NTNU, 1997)
Introduction to Computer Programming (NTNU, 1996)
Qualitative modelling and simulation (Linkøping, 1992)
Qualitative physics (Linkøping, 1991)
APL programming (Bucknell, 1981)

Assistant

Modula-II programming (Oregon, 1988)
Artificial Intelligence (Oregon, 1987)
Algorithmic Complexity Analysis (Oregon, 1985)

Main Publications

See web page: www.idi.ntnu.no/~keithd/publications/publications.html

General Interests

Long-distance running
Swimming
Cross-country skiing
Coaching basketball
Piano

References

Dr. Agnar Aamodt
Department of Computer Science
The Norwegian University of Science & Technology (NTNU)
Trondheim, Norway
email: agnar@idi.ntnu.no
phone: +47 73 59 18 38

Dr. Erik Sandewall
Department of Computer Science
Linkoping University
Linkoping, Sweden
email: ejs@ida.liu.se
phone: +46 13 28 1480

Dr. Eugene Luks
Department of Computer Science
University of Oregon
Eugene, Oregon
email: luks@cs.uoregon.edu
phone: (503) 346 4408

Dr. Sara Douglas
Department of Computer Science
University of Oregon
Eugene, Oregon
email: douglas@cs.uoregon.edu
phone: (503) 346 4408

Dr. Mark Reed
Environmental Modelling Division
IKU Petroleum Research
SINTEF
N-7034 Trondheim, Norway
email: mark.reed@iku.sintef.no
phone: +47 73 59 1232