| Awards and Honors: |
- NSF Science Faculty Fellowship, Stanford University
- Founder of the Computer Science Department, State University of New York, Stony Brook
- Founder of the Department of Computer Science and Engineering, Oregon Graduate Center
- National Science Foundation, Division Director for Computer and Computation Research
- ACM Fellow, for founding two successful computer science departments, for research, and for service to the computing community
- Founding member of IEEE IFIP Working Group 2.8
|
| Selected Publications: |
- R.B. Kieburtz, "Real-time Reactive Programming for Embedded Controllers," QAPL 2001, September 2001.
- R.B. Kieburtz, "A Logic for Rewriting Strategies," Strategies "01, June 2001.
- R.B. Kieburtz, "Defining and Implementing Closed Domain-Specific Languages," SAIG '00, September 2000.
- R.B. Kieburtz, "Taming Effects with Monadic Typing," in Proc. 3rd International Conf. on Functional Programming, ACM Press, April 1998.
- R.B. Kieburtz, "Reactive Functional Programming," in PROCOMET'98, pp. 263-284, Chapman and Hall, June 1998.
- R.B. Kieburtz, L. McKinney, J. Bell, J. Hook, A. Kotov, J. Lewis, D. Oliva, T. Sheard, I. Smith and L.Walton, "A Software Engineering Experiment in Software Component Generation," in Proceedings of the 18th International Conference on Software Engineering, Berlin, March 1996.
- R.B. Kieburtz, F. Bellegarde, J. Bell, J. Hook, J. Lewis, D. Oliva, T. Sheard, L. Walton and T. Zhou, "Calculating Software Generators from Solution Specifications," TAPSOFT '95, Springer- Verlag, series LNCS, 915, 546, 1995.
- R.B. Kieburtz, "Programming with Algebras," in Advanced Functional Programming, E. Meijer and J.Jeuring, eds., Springer-Verlag, Series LNCS, Vol. 925, 1995.
- R.B. Kieburtz, "Results of the SDRR Validation Experiment," Pacific Software Research Center Software Design for Reliability and Reuse: Phase I Final Scientific and Technical Report, Vol. VI, CDRL No. 0002.11, February 1995
|
