Computer Sciences and Cybersecurity
Educational BackgroundB.A. University of Kansas 1979
B.S. University of Kansas 1979
M.S. Cornell University 1982
Ph.D. Cornell University 1985
Professional ExperienceDr. 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.
Selected PublicationsStansifer, 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.