The City College of New York

 Department of Computer Sciences

Douglas R. Troeger, Associate Professor and Department Chair

Ad Personam

A.B. (Phil.), Brown University
Sc.B. (Chem.), Brown University
Ph.D. (Math.), Stevens Institute of Technology

Research Interests

Functional Programming, Programming Language Semantics, Computer Science Education.

Some Publications

• A Case Study of Heap Paging in the MT System, Paper presented at IFL 2000, Implementation of Functional Languages, 12th International Workshop,Aachen, Germany, September 4 -- 7, 2000 (With M. Morazan).
• The MT Architecture and Allocation Algorithm, Trends in Functional Programming: Proceedings of the First Annual Scottish Functional Programming Workshop, University of Stirling, Bridge of Allan, Scotland, August 1999 (Phil Trinder, Greg Michaelson, and Hans-Wolfgang Loidl, editors; Intellect, pub.), pp. 96 -- 103 (With M. Morazan).
• Structural Requisites for Undergraduate Mentoring at CCNY, Proceedings of the ADMI Symposium, May 29 -- June 1, 1997, Washington, D. C., pp 254 -- 261 (with J. Barba).
• Formal Methods and Design, and Collaborative Learning, in the First Computer Science Course, invited chapter in the Volume: "Access and Empowerment: The Quantitative Gatekeeper Courses", E. Willemsen and J. Gainen, eds., New Directions for Teaching and Learning, Number 61, Spring 1995.
• Step Bisimulation is Pomset Equivalence on a Parallel Language without Explicit Internal Choice, Mathematical Structures in Computer Science, Vol 3, pp. 25-62 (1993).

Papers in Preparation

• Paging Behavior of the MT System, (with M. Morazan)
• Why Separate MT's Heap and Stack Frames? (with M. Morazan)

Ph.D. Students

Marco T. Morazan.  Thesis:  Towards Fast Functional Languages via Distributed Virtual Memory, September 1999.

Myles Nash.

Grants

• Minority Institution Infrastructure Grant: The Center for Minorities in Information Processing Systems, co-PI and co-Director (NSF 1991 - 1997), with J. Barba, M. Basu, W. Edmundson, D. McCracken, and N. Scheinberg.
• Educational Infrastructure Grant: Formal Methods in Undergraduate Computer Science, Senior Investigator  (NSF 1993 - 1996), with R.Decker, S. Hirschfield, P. Mulry, C. Nevison and H. Walker.
• Fund for the Improvement of Postsecondary Education: Formal Methods in the First Computer Science Course, PI  (U.S. Department of Education 1994 - 1997), with G. Bloom and S. Lucci.
• Model Institution for Excellence Planning Grant, co-PI (NSF 1994 - 1995), with J. Barba.
• Instrumentation and Laboratory  Infrastructure Grant: Formal Methods and Object Oriented Programming, co-PI (NSF 1996 - 1998), with D. McCracken.
• Institutional Reform Grant, co-Project Manager (NSF  1997 - 1999), with J. Barba, D. Gosser, D. Lemmons, E. Smiley, C. Watkins, D. Weiss, and Y. Moses.

Conferences and Workshops Organized

• Teaching Formal Methods: Curriculum Development Workshop, at Hamilton College, Clinton, NY, July 30 - Agust 5, 1994 (NSF-sponsored, with P. Mulry and H. Walker)
• Formal Methods in the Early Computer Science Curriculum: an Informal Workshop, at the Graduate Center of the City University of New York, September 16, 1995.  NSF and U.S. Department of Education sponsored (with D. Arnow).
• Formal Methods in the Computer Science Curriculum, at Stevens Institute of Technology, July 24 -- 25, 1996 NSF sponsored  (with P. Mulry and H. Walker).
• The 21st Century Engineering Consortium, Melbourne, Fla, March 18 -- 19, 1998, U.S. Airforce sponsored (with P. Alexander,      B. Andriamanalimanana, A.  Barbour, S. Chin , G. Gopalakrishnan,  S. Johnson , M. Nassif, R.Paragi , and P. Windley).