Projects
| Service
| Courses
| Professional
affiliations |
Selected publications and presentations |
Personal
| Email |
chaynes at indiana.edu |
| Web |
www.cs.indiana.edu/~chaynes |
| Office address |
Lindley Hall 230F
150 S. Woodlawn Ave.
Bloomington, IN 47405-7104 USA |
| Office hours |
see schedule below |
| Office phone |
812-855-3376 |
| Home phone |
812-336-3221 |
| Office fax |
812-855-4829 |
Fall Schedule
| Monday |
8:00-9:15 |
LH115 |
C322 class |
| 9:15-10:15 |
LH230F |
C322 AI meeting |
| 11:00-12:30 |
BH004 |
BFC-EPC meeting (some weeks) |
| 4:00-5:15 |
CH001 |
A201 class |
| Tuesday |
2:00-3:00 |
LH203F |
Office hour |
| 3:00-4:00 |
LH230F |
A201 team |
| 4:00-5:00 |
LH230F |
Office hour |
| Wednesday |
8:00-9:15 |
LH115 |
C322 class |
| 4:00-5:15 |
varies |
A201 lab |
| Thursday |
1:00-2:30 |
BH004 |
BFC-EPC meeting (some weeks) |
| Friday |
9:30-11:00 |
LI503 |
C322 lab |
| 12:00-2:00 |
varies |
faculty meetings (some weeks) |
| 3:00-4:15 |
varies |
colloquia (some weeks) |
I'm often in my office at times in addition to office hours. You can call or
send email to confirm that I'm here and free to see you, or to make an
appointment.
If my door is not closed and I'm here, we can talk or arrange a time.
(Please don't wait outside without letting me know.) If I'm
not in, but my door is not closed, I'll be back very soon.
Projects
-
Programming pedagogy
- Object-oriented design
- Web programming (django, etc.)
- Developing better ways to teach elementary programming using Python (A201 course)
Service
-
Computer Science Department Undergraduate Education Committee
- BFC Technology Policy Committee
- BFC Educational Policy Committee
- Oncourse Priorities Committee (VP of IT steering committee)
- BFC-EPC's ROTC/AFROTC subcommittee
Professional Affiliations
Selected Publications and Presentations
-
“Source-tracking Unification,” with
Venkatesh Choppella, Information and Computation 201:2
(September, 2005), 121-159.
- “Source-tracking Unification,” with Venkatesh Choppella, Proceedings of the
19th Conference
on Automated Deduction, CADE-19, Miami Beach, USA, Lecture Notes
in Artificial Intelligence 2741 (Springer, 2003), pp.
458-472.
-
Essentials of Programming Languages, Second
Edition
. With Daniel P. Friedman and Mitchell Wand, MIT Press, 2001.
-
Experience
with an Analytic Approach to Teaching Programming Languages, to
appear in Proceedings of the Twenty-ninth SIGCSE Technical Symposium on
Computer Science Education, February 1998, pp. 350-354.
-
Compiling: A
high-level introduction using Scheme, in Proceedings of the
Twenty-eighth SIGCSE Technical Symposium on Computer Science Education,
February 1997, pp. 253-257.
-
Tools and Techniques for Use of
the Scheme Programming Language in Undergraduate Education, project
report, NSF EI project director's meeting, November 1996.
-
Introduction to Java
-
Web Browsers as
Presentation Tools, presentation to the IU Faculty
Development Program on Learning Technologies, January 26, 1996.
-
Teaching
Programming Languages Using a Scheme-based Executable Formalism,
presented at the Workshop on Exploring Formal Methods in the Early Computer
Science Curriculum, City University of New York, September 1995.
-
"Diagnosis of
Ill-typed Programs,"
with Venkatesh Choppella, 1994.
-
"Type reconstruction
for variable-arity procedures," With Hsianlin Dzeng. In Proceedings of
the Conference on Lisp and Functional Programming, 1994, pp
239-249.
-
Scheme in
Computer Science Higher Education." Presented at the First
International Forum on Computer Programming in Education, ITESM, Mexico,
February 25, 1994.
My formal vita
contains a complete publication list.
