MENU
Sky View Through an Archway on Campus

Editing Help

Please reference the Faculty Profile Editing Guide if you have any questions or issues updating your profile. If you receive any error notices please contact webservices@fit.edu.

Ryan Stansifer

Associate Professor | College of Engineering and Science - Electrical Engineering and Computer Science

Contact Information

ryan@fit.edu
(321) 674-7156
Harris Center For Science and Engineering, 210

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 languages, formal methods of software development, and compiler construction as well as the first year programming courses.

 

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.

Recognition & Awards

Dr. Stansifer was taken the Florida Tech programming team to the intercollegiate programming world finals five times as coach.

Research

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.

Edit Page