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 |
| Office fax |
812-855-4829 |
Spring Schedule
| Monday |
1:00-3:30 |
LH230F |
Office hours |
| 3:30-4:30 |
LH230F |
A201 team meeting |
| Tuesday |
4:00-5:15 |
LH102 |
A201 class |
| 7:10-8:20 |
LH115 |
A290 class (second eight weeks) |
| Thursday |
8:00-9:30 |
BH004 |
BFC Educational Policy Committee (some weeks) |
| 4:00-5:15 |
LH102 |
A201 class |
| 7:10-8:20 |
LH115 |
A290 class (second eight weeks) |
| Friday |
12:00-2:00 |
varies |
faculty meetings (some weeks) |
| 3:00-4:15 |
LH102 |
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
-
XML tools, programming pedagogy
-
Finding new ways to teach programming using Python and Alice (A201 development)
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.
