B.A. University of Kansas 1979
B.S. University of Kansas 1979
M.S. Cornell University 1982
Ph.D. Cornell University 1985
Dr. Stansifer joined Florida Tech in 1995. Prior to that, he was on the faculty of Purdue University and the University of North Texas.
Dr. Stansifer teaches programming languages, formal methods of software development, compiler construction, operating systems, graphical user interfaces and distributed, hypertext information systems.
Stansifer, R. 1994. The Study of Programming Languages, Prentice-Hall, Englewood Cliffs, New Jersey.
Beaven, M. and R. Stansifer. 1994. Explaining Type Errors in Polymorphic Languages. ACM Letters on Programming Languages and Systems, Vol. 2, No. 104, pp. 17-30.
Stansifer, R., M. Beaven and D.C. Marinescu. 1994. Modeling Concurrent Programs with Colored Petri Nets. Journal of Systems and Software, Vol. 26, No. 2, pp. 129-148.
Stansifer, R. 1992. ML Primer, Prentice-Hall, Englewood Cliffs, New Jersey.
Stansifer, R. 1988. Type Inference with Subtypes. In Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, pp. 88-97.
Loeckx, J.J.C., K. Sieber and R. Stansifer. 1987. The Foundations of Program Verification. Wiley-Teubner series in computer science, Teubner, Stuttgart, second edition.
Research & Project Interests
Dr. Stansifer’s research interests are in finding ways a compiler can assist in program development. This may be through more-expressive systems that are checkable by the compiler, or through compile-time analysis of synchronization anomalies in concurrent programs. In particular, his research interests include polymorphic inference, object-oriented languages, formal verification of the correctness of software and models of real-time, concurrent programs. Dr. Stansifer is also interested in internationalization, hypertext languages and the X-Window System.