David M. Keil

Assistant Professor
Computer Science Department
Framingham State University
Framingham, MA 01701

(508) 626-4724  
dkeil@framingham.edu    
Office: Hemenway Hall 318A

 

Courses

Offering in Spring 2012:

CSCI 120 Introduction to Information Technology

CSCI 135 Information Technology and Society

CSCI 460 Theory of Computing

Offered other semesters:

CSCI 152 Computer Science I (Java)

CSCI 152 Computer Science I (C++)

CSCI 252 Computer Science II (C++)

CSCI 259 Object-Oriented Programming  (C++)

CSCI 271 Data Structures

CSCI 317 Discrete Structures for Computer Science

CSCI 347 Analysis of Algorithms

CSCI 400 Special Topics in Computer Science: Artificial Intelligence

Guidelines for directed study

Brief teaching statement

What we do in my classroom (included in each syllabus)

Class and office schedule, Spring 2012

 

Mon

Tue

Wed

Thur

Fri

10:30-11:30

 

 

Office

 

 

11:30-12:20

CSCI 135  (HH132)

 

CSCI 135  (HH132)

CSCI 135  (HH132)

CSCI 135  (HH132)

12:30-1:30

Office

 

 

1:30-2:30

 

 

 

 

Office 

4:00-4:20

 

 

 

Office 

  

4:30-6:20

   CSCI 120
HH G01

 

 CSCI 120
HH G01

 

6:30-9:50

 

CSCI 460
HH132

 

 

 

 

Research

Accepted as Ph.D candidate, Computer Science, University of Connecticut       

Publications

David Keil, Dina Goldin. Indirect Interaction in Environments for Multiagent Systems. In Environments for Multiagent Systems II, eds. Danny Weyns, Van Parunak, Fabien Michel. LNCS 3830, Springer, 2006.

David Keil, Dina Goldin. Adaptation and Evolution in Dynamic Persistent Environments. Presented at FInCo2005, Edinburgh, April 2005. To be published in Electronic Notes in Theoretical Computer Science.

Dina Goldin, David Keil. Interactive Models for Design of Software-Intensive Systems.  FInCo2005.

David Keil and Dina Goldin. Indirect Interaction and Decentralized Coordination. Extended draft.

David Keil and Dina Goldin. Modeling Indirect Interaction in Open Computational Systems. 1st Int'l workshop on Theory and Practice of Open Computational systems (TAPOCS), Linz, Austria, June 2003. (slides)

Dina Goldin and David Keil. Evolution, interaction, and intelligence. Proceedings, Congress on Evolutionary Computation (CEC-2001), Seoul, Korea, May 2001. (slides)   

Dina Goldin, David Keil, and Peter Wegner. An interactive viewpoint on UML. In K. Siau and T. Halpin, Eds., Unified Modeling Language: Systems Analysis, Design, and Development Issues, Idea Group Publishing, 2000.

Dina Goldin and David Keil. Minimal sequential interaction machines. Technical Report, Dept. of Mathematics and Computer Science, University of Massachusetts. Boston, June 2000 (requires Ghostview or a similar viewer).

Invited talks

Using assessment-based methods for grading and for engaging students. Paper presented at the Mass Bay Community College 2012 Assessment Retreat, January 10, 2012. Slides

Decentralization and stigmergy. Framingham State College Faculty Science Colloquium, February 29, 2008.

Scalable models of multi-stream interaction. Framingham State College Mathematics / Computer Science Colloquium, September 28, 2006.

Modeling indirect interaction for evolving adaptive multi-agent systems in dynamic persistent environments. Doctoral thesis proposal, Department of Computer Science and Engineering, University of Connecticut, April 11, 2006.

Modeling indirect interaction in multi-agent systems. Framingham State College Mathematics / Computer Science Colloquium, February 22, 2005.

Debate on artificial intelligence, Framingham State College, November, 2005.

Evolutionary computation in dynamic persistent environments. Framingham State College Computer Science Club Talk Series, October 4, 2004.

Gödel’s theorem: Limits of logic and computation. Framingham State College Mathematics / Computer Science Colloquium, March 27, 2003.

Toward a theory of interactive computation. Northeast Section, Mathematics Association of America, Framingham, MA, November 2002.

This page last updated 1/17/12

FSC disclaimer