Stansifer, Ryan

Associate Professor
Computer Sciences and Cybersecurity

Educational Background

B.A. University of Kansas 1979
B.S. University of Kansas 1979
M.S. Cornell University 1982
Ph.D. Cornell University 1985

Professional Experience

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.

Selected Publications

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.