STANSIFER, Ryan

Ryan STANSIFER}

Contact Information

Associate Professor
Computer Sciences
College of Engineering
Harris Center 504, 210
Phone: 7156
Email: ryan@cs.fit.edu

Web & Social Networking

College of Engineering

Computer Sciences

Visit My Website

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.

Keywords

Programming Languages
Formal Methods and Software Development
Compilers and Static Analysis
Internationalization

Associate Professor
Computer Sciences, College of Engineering

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.